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;
wenzelm [Mon, 13 Aug 2007 18:10:19 +0200] rev 24242
moved appl syntax to PureThy;
wenzelm [Mon, 13 Aug 2007 18:10:18 +0200] rev 24241
SimpleSyntax.read_prop;
isatest [Mon, 13 Aug 2007 12:56:03 +0200] rev 24240
added atbroy9
isatest [Mon, 13 Aug 2007 12:53:58 +0200] rev 24239
multi-threading with poly 5.1 test
kleing [Mon, 13 Aug 2007 04:35:41 +0200] rev 24238
new attribute [rotated]