haftmann [Mon, 13 Aug 2007 21:22:41 +0200] rev 24252
simplified
haftmann [Mon, 13 Aug 2007 21:22:40 +0200] rev 24251
fixed OCaml bug
haftmann [Mon, 13 Aug 2007 21:22:39 +0200] rev 24250
*** empty log message ***
haftmann [Mon, 13 Aug 2007 21:22:37 +0200] rev 24249
renamed keyword "to" to "module_name"
haftmann [Mon, 13 Aug 2007 21:22:36 +0200] rev 24248
dropped code_axioms
wenzelm [Mon, 13 Aug 2007 18:10:24 +0200] rev 24247
moved appl syntax to PureThy;
structure Lexicon: not hidden;
wenzelm [Mon, 13 Aug 2007 18:10:24 +0200] rev 24246
Lexicon.tokenize: do not appen EndToken yet;
term: include var, &&;
wenzelm [Mon, 13 Aug 2007 18:10:22 +0200] rev 24245
Lexicon.tokenize: do not appen EndToken yet;
wenzelm [Mon, 13 Aug 2007 18:10:22 +0200] rev 24244
Lexicon.read_indexname/nat/variable;
wenzelm [Mon, 13 Aug 2007 18:10:20 +0200] rev 24243
moved appl syntax to PureThy;
SimpleSyntax.read_typ/term/prop;