Walther Neuper <neuper@ist.tugraz.at> [Thu, 12 Aug 2010 11:02:32 +0200] rev 37906
moved isac + test to final dire-structure
Walther Neuper <neuper@ist.tugraz.at> [Wed, 11 Aug 2010 17:58:20 +0200] rev 37905
Test_Parse_Term.thy before answer from isabelle-dev
Walther Neuper <neuper@ist.tugraz.at> [Wed, 11 Aug 2010 09:16:29 +0200] rev 37904
intermediate on Parse.term
Walther Neuper <neuper@ist.tugraz.at> [Wed, 11 Aug 2010 07:05:24 +0200] rev 37903
cleaned branch from decompose-isar work
Walther Neuper <neuper@ist.tugraz.at> [Wed, 11 Aug 2010 06:59:05 +0200] rev 37902
resumed work on Parse.term
Walther Neuper <neuper@ist.tugraz.at> [Tue, 10 Aug 2010 15:38:54 +0200] rev 37901
found solution for Parse.term, resume SD, after hg problems
Walther Neuper <neuper@ist.tugraz.at> [Sat, 07 Aug 2010 09:11:25 +0200] rev 37900
started parser for Back's structured derivations
Walther Neuper <neuper@ist.tugraz.at> [Thu, 05 Aug 2010 15:19:48 +0200] rev 37899
resolve switching branches
Walther Neuper <neuper@ist.tugraz.at> [Thu, 05 Aug 2010 14:27:25 +0200] rev 37898
preparing to switch branch (correcting last merge)
Walther Neuper <neuper@ist.tugraz.at> [Thu, 05 Aug 2010 14:17:16 +0200] rev 37897
merged