diff options
Diffstat (limited to 'test/golden/finite-set-terms/tokenizing.golden')
| -rw-r--r-- | test/golden/finite-set-terms/tokenizing.golden | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/golden/finite-set-terms/tokenizing.golden b/test/golden/finite-set-terms/tokenizing.golden index 200e330..ebe2484 100644 --- a/test/golden/finite-set-terms/tokenizing.golden +++ b/test/golden/finite-set-terms/tokenizing.golden @@ -1,4 +1,22 @@ [ + [ BeginEnv "signature" + , Label "example_cons" + , BeginEnv "math" + , Command "cons" + , InvisibleBraceL + , Variable "y" + , InvisibleBraceR + , InvisibleBraceL + , Variable "X" + , InvisibleBraceR + , EndEnv "math" + , Word "is" + , Word "a" + , Word "set" + , Symbol "." + , EndEnv "signature" + ] +, [ BeginEnv "axiom" , Label "cons" , BeginEnv "math" |