Mon, 13 Aug 2007 21:22:36 +0200 | haftmann | dropped code_axioms | changeset | files |
Mon, 13 Aug 2007 18:10:24 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |
Mon, 13 Aug 2007 18:10:24 +0200 | wenzelm | Lexicon.tokenize: do not appen EndToken yet; | changeset | files |
Mon, 13 Aug 2007 18:10:22 +0200 | wenzelm | Lexicon.tokenize: do not appen EndToken yet; | changeset | files |
Mon, 13 Aug 2007 18:10:22 +0200 | wenzelm | Lexicon.read_indexname/nat/variable; | changeset | files |
Mon, 13 Aug 2007 18:10:20 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |