wneuper [Wed, 19 Jul 2006 18:22:30 +0200] rev 591
sml: added guh2theID
wneuper [Wed, 19 Jul 2006 16:49:06 +0200] rev 590
cleared doubled code on 'fun subst2str''
wneuper [Wed, 19 Jul 2006 15:53:33 +0200] rev 589
sml: finished 'fun conttyh2xml'
wneuper [Wed, 19 Jul 2006 15:20:21 +0200] rev 588
included thy into 'type contthy' for *2guh
wneuper [Tue, 18 Jul 2006 18:38:11 +0200] rev 587
sml: work on 'fun context_thy', Notappl added
wneuper [Tue, 18 Jul 2006 17:20:46 +0200] rev 586
sml: work on 'fun context_thy', Notappl missing
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