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 | |
| parent | ab1af18cdb07d3671cbe04c4dfa89300b890dcc9 (diff) | |
mock up variables for js
Diffstat (limited to 'examples/math')
| -rw-r--r-- | examples/math/Math.gf | 2 | ||||
| -rw-r--r-- | examples/math/MathEnz.gf | 4 | ||||
| -rw-r--r-- | examples/math/MathSwz.gf | 4 |
3 files changed, 10 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 diff --git a/examples/math/MathEnz.gf b/examples/math/MathEnz.gf index b362040c2..d30e8114b 100644 --- a/examples/math/MathEnz.gf +++ b/examples/math/MathEnz.gf @@ -27,6 +27,10 @@ lin LString s = s ; VString s = s ; + V_x = ss "x" ; + V_y = ss "y" ; + V_z = ss "z" ; + -- lexicon Set = ss "set" ; diff --git a/examples/math/MathSwz.gf b/examples/math/MathSwz.gf index 5e37d2f30..39fdd3374 100644 --- a/examples/math/MathSwz.gf +++ b/examples/math/MathSwz.gf @@ -27,6 +27,10 @@ lin LString s = s ; VString s = s ; + V_x = ss "x" ; + V_y = ss "y" ; + V_z = ss "z" ; + -- lexicon Set = ss "mängd" ; |