Mon, 13 Aug 2007 21:22:36 +0200 dropped code_axioms
haftmann [Mon, 13 Aug 2007 21:22:36 +0200] rev 24248
dropped code_axioms
Mon, 13 Aug 2007 18:10:24 +0200 moved appl syntax to PureThy;
wenzelm [Mon, 13 Aug 2007 18:10:24 +0200] rev 24247
moved appl syntax to PureThy; structure Lexicon: not hidden;
Mon, 13 Aug 2007 18:10:24 +0200 Lexicon.tokenize: do not appen EndToken yet;
wenzelm [Mon, 13 Aug 2007 18:10:24 +0200] rev 24246
Lexicon.tokenize: do not appen EndToken yet; term: include var, &&;
Mon, 13 Aug 2007 18:10:22 +0200 Lexicon.tokenize: do not appen EndToken yet;
wenzelm [Mon, 13 Aug 2007 18:10:22 +0200] rev 24245
Lexicon.tokenize: do not appen EndToken yet;
Mon, 13 Aug 2007 18:10:22 +0200 Lexicon.read_indexname/nat/variable;
wenzelm [Mon, 13 Aug 2007 18:10:22 +0200] rev 24244
Lexicon.read_indexname/nat/variable;
Mon, 13 Aug 2007 18:10:20 +0200 moved appl syntax to PureThy;
wenzelm [Mon, 13 Aug 2007 18:10:20 +0200] rev 24243
moved appl syntax to PureThy; SimpleSyntax.read_typ/term/prop;
Mon, 13 Aug 2007 18:10:19 +0200 moved appl syntax to PureThy;
wenzelm [Mon, 13 Aug 2007 18:10:19 +0200] rev 24242
moved appl syntax to PureThy;
Mon, 13 Aug 2007 18:10:18 +0200 SimpleSyntax.read_prop;
wenzelm [Mon, 13 Aug 2007 18:10:18 +0200] rev 24241
SimpleSyntax.read_prop;
Mon, 13 Aug 2007 12:56:03 +0200 added atbroy9
isatest [Mon, 13 Aug 2007 12:56:03 +0200] rev 24240
added atbroy9
Mon, 13 Aug 2007 12:53:58 +0200 multi-threading with poly 5.1 test
isatest [Mon, 13 Aug 2007 12:53:58 +0200] rev 24239
multi-threading with poly 5.1 test
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip