test/golden/indefinite-terms/tokenizing.golden


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

[ BeginEnv "theorem"
, Label "indefinite_test_forall"
, Word "every"
, Word "set"
, Word "is"
, Word "a"
, Word "set"
, Symbol "."
, EndEnv "theorem"
, BeginEnv "theorem"
, Label "indefinite_test_exists"
, Word "some"
, Word "set"
, Word "is"
, Word "a"
, Word "set"
, Symbol "."
, EndEnv "theorem"
]