diff options
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 |