wneuper [Tue, 13 Sep 2005 11:05:56 +0200] rev 385
found a 'BAD DESIGN ERROR' in smltest/ME/script
wneuper [Mon, 12 Sep 2005 20:15:24 +0200] rev 384
Simplify.thy / .ML added, methods not yet parsed.
wneuper [Thu, 08 Sep 2005 20:48:39 +0200] rev 383
rewrite_terms_ repaired+tested,
problem with Substitute intermediate
wneuper [Thu, 08 Sep 2005 09:08:54 +0200] rev 382
split systest/list_rls.sml into smltest/IsacKnowledge/diffapp.sml
and smltest/Scripts/listg.sml
wneuper [Thu, 08 Sep 2005 08:50:44 +0200] rev 381
changed Substitute' subte=term list, intermediate
wneuper [Wed, 07 Sep 2005 21:42:55 +0200] rev 380
changed Substitute' subte=term list, intermediate
wneuper [Wed, 07 Sep 2005 15:07:08 +0200] rev 379
Atools.argument_of tested OK
wneuper [Wed, 07 Sep 2005 14:34:02 +0200] rev 378
added Atools.argument_of, intermediate
wneuper [Wed, 07 Sep 2005 10:11:06 +0200] rev 377
implement simplify_Integral finished
wneuper [Wed, 07 Sep 2005 09:44:06 +0200] rev 376
implement simplify_Integral, intermediate