wneuper [Sat, 20 Aug 2005 21:20:16 +0200] rev 2918
find out why IntegrateScript doesnt work
wneuper [Sat, 20 Aug 2005 19:10:30 +0200] rev 2917
integration: compile script (Rewrite_Set_Inst seems to enforce
a 'bool' argument for rewriting ?!?
wneuper [Sat, 20 Aug 2005 18:25:14 +0200] rev 2916
integration by rewrite_set, still trying
wneuper [Sat, 20 Aug 2005 18:04:54 +0200] rev 2915
Scripts.rew_sub: repaired (subterms of asms were evaluated)
with a hack (STOP_REW_SUB), which left all but one
(i.e. rational.sml: Schalk I, p.70 Nr. 480a) tests OK
wneuper [Sat, 20 Aug 2005 18:04:54 +0200] rev 2914
Scripts.rew_sub: repaired (subterms of asms were evaluated)
with a hack (STOP_REW_SUB), which left all but one
(i.e. rational.sml: Schalk I, p.70 Nr. 480a) tests OK
wneuper [Sat, 20 Aug 2005 18:04:54 +0200] rev 2913
Scripts.rew_sub: repaired (subterms of asms were evaluated)
with a hack (STOP_REW_SUB), which left all but one
(i.e. rational.sml: Schalk I, p.70 Nr. 480a) tests OK
wneuper [Sat, 20 Aug 2005 15:15:41 +0200] rev 2912
add_new_c: trials with get_pair finished, search error in eval__true
wneuper [Sat, 20 Aug 2005 15:15:41 +0200] rev 2911
add_new_c: trials with get_pair finished, search error in eval__true
wneuper [Sat, 20 Aug 2005 15:15:41 +0200] rev 2910
add_new_c: trials with get_pair finished, search error in eval__true
wneuper [Sat, 20 Aug 2005 13:00:20 +0200] rev 2909
eval_* reactivated argument "Theory.operator" in Tools, Atools;
exept Atools.is_const which caused diff.behav. with some rootequ