diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-10-30 13:17:54 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-10-30 13:17:54 +0000 |
| commit | a2a37bc9125906785830c62e6fa85529d428d63b (patch) | |
| tree | dc88ee3a2716ab23b4bf29fb426501d30151a314 /examples/math/Math.gf | |
| parent | ab1af18cdb07d3671cbe04c4dfa89300b890dcc9 (diff) | |
mock up variables for js
Diffstat (limited to 'examples/math/Math.gf')
| -rw-r--r-- | examples/math/Math.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/math/Math.gf b/examples/math/Math.gf index d5cbe9196..35cfcbfdc 100644 --- a/examples/math/Math.gf +++ b/examples/math/Math.gf @@ -21,6 +21,8 @@ fun LString : String -> Label ; VString : String -> Var ; + V_x, V_y, V_z : Var ; --- for js + PLink : Proof ; -- lexicon |