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
wneuper [Wed, 12 Jul 2006 13:47:49 +0200] rev 575
'fun thydata2xml': theory elements to xml finished;
errors due to missing Isabelle theorems
wneuper [Tue, 11 Jul 2006 17:14:08 +0200] rev 574
sml: get_the ["IsacKnowledge"] shows wrong content
wneuper [Tue, 11 Jul 2006 16:46:43 +0200] rev 573
sml: thy_hierarchy ok WITH guhs, going to 'fun thydata2xml'