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
wneuper [Mon, 05 Sep 2005 12:51:55 +0200] rev 375
considering normalform for equation system
wneuper [Mon, 05 Sep 2005 09:07:17 +0200] rev 374
correcte applicable_in: is_pblobj inhibited Rewrite etc. on
(*,Res) of a subpbl
wneuper [Sun, 04 Sep 2005 15:53:56 +0200] rev 373
repaired applicable_in;
Biegelinie#Script 1st half with 2-times Integration works