wneuper [Mon, 17 Jul 2006 20:11:48 +0200] rev 585
sml: repaired tests (norm_Rational of !RG! has been used) after thydata2xml goes through
wneuper [Mon, 17 Jul 2006 10:17:33 +0200] rev 584
sml: thydata2xml goes through
wneuper [Fri, 14 Jul 2006 18:20:42 +0200] rev 583
sml: thydata2xml goes until Poly.thy
wneuper [Fri, 14 Jul 2006 15:38:15 +0200] rev 582
sml: thy_hierarchy is ok
wneuper [Fri, 14 Jul 2006 11:23:23 +0200] rev 581
sml: thydata2xml with RULESETDATA format checked
wneuper [Fri, 14 Jul 2006 10:44:50 +0200] rev 580
sml: thydata2xml includes rls, rules (excl. Calc),
to be tested
wneuper [Thu, 13 Jul 2006 16:50:54 +0200] rev 579
made guh <1--1> theID
wneuper [Thu, 13 Jul 2006 10:18:34 +0200] rev 578
sml: thy_hierarchy: guh <1--1> theID is broken
wneuper [Wed, 12 Jul 2006 17:58:31 +0200] rev 577
sml: thy_hierarchy now contains Isabelle's theorems used in isac's rls's
wneuper [Wed, 12 Jul 2006 14:09:35 +0200] rev 576
marked old version 'fun calc2xml' for pbl-met-hierarchy to be aligned with thy_hierarchy