diff options
Diffstat (limited to 'test/golden/russell/tokenizing.golden')
| -rw-r--r-- | test/golden/russell/tokenizing.golden | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/test/golden/russell/tokenizing.golden b/test/golden/russell/tokenizing.golden index beba3ee..9a739f8 100644 --- a/test/golden/russell/tokenizing.golden +++ b/test/golden/russell/tokenizing.golden @@ -65,19 +65,14 @@ , VisibleBraceR , EndEnv "math" , Symbol "." - , Word "then" , BeginEnv "math" , Variable "R" , Command "in" - , Variable "R" - , EndEnv "math" - , Word "iff" - , BeginEnv "math" - , Variable "R" - , Command "not" - , Command "in" - , Variable "R" + , Variable "V" , EndEnv "math" + , Word "by" + , Ref + ( "universal_set" :| [] ) , Symbol "." , Word "contradiction" , Symbol "." |