wneuper [Fri, 16 Sep 2005 16:33:13 +0200] rev 391
correction 'rewrite__set_ called with 'Erls' for ..
wneuper [Wed, 14 Sep 2005 20:28:03 +0200] rev 390
found difference with trace_rewrite:= true / false
reproduce with data in ###biegelinie.sml###
wneuper [Tue, 13 Sep 2005 19:16:01 +0200] rev 389
struggling: IntegrierenUndKonstanteBestimmen behaves
differently with trace_rewrite:= true / false ?!
wneuper [Tue, 13 Sep 2005 18:39:09 +0200] rev 388
struggling with eval_listexpr_ for Biegelinie
wneuper [Tue, 13 Sep 2005 16:59:48 +0200] rev 387
struggling with eval_listexpr_ for Biegelinie
wneuper [Tue, 13 Sep 2005 14:09:13 +0200] rev 386
considering Take as 'initac'
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