From 650b73e26ba32aad566f375ba6f56fd8df0b8f96 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 30 Oct 2007 13:17:54 +0000 Subject: [PATCH] mock up variables for js --- examples/math/Math.gf | 2 ++ examples/math/MathEnz.gf | 4 ++++ examples/math/MathSwz.gf | 4 ++++ 3 files changed, 10 insertions(+) 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" ;