diff options
Diffstat (limited to 'test/golden/inductive/tokenizing.golden')
| -rw-r--r-- | test/golden/inductive/tokenizing.golden | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/test/golden/inductive/tokenizing.golden b/test/golden/inductive/tokenizing.golden index 6549faa..28527ec 100644 --- a/test/golden/inductive/tokenizing.golden +++ b/test/golden/inductive/tokenizing.golden @@ -1,21 +1,4 @@ [ - [ BeginEnv "definition" - , Label "subseteq" - , BeginEnv "math" - , Variable "A" - , Command "subseteq" - , Variable "B" - , EndEnv "math" - , Word "iff" - , BeginEnv "math" - , Variable "A" - , Symbol "=" - , Variable "B" - , EndEnv "math" - , Symbol "." - , EndEnv "definition" - ] -, [ BeginEnv "axiom" , Label "pow" , BeginEnv "math" |