wneuper <walther.neuper@jku.at> [Mon, 23 Aug 2021 14:24:06 +0200] rev 60393
repair rule-set reduce_0_1_2
wneuper <walther.neuper@jku.at> [Mon, 23 Aug 2021 12:33:10 +0200] rev 60392
repair fun eval_cancel finished
wneuper <walther.neuper@jku.at> [Sun, 22 Aug 2021 14:28:38 +0200] rev 60391
repair fun adhoc_thm + fun eval_cancel
wneuper <walther.neuper@jku.at> [Sun, 22 Aug 2021 11:42:55 +0200] rev 60390
improve error message for eval_fn
wneuper <walther.neuper@jku.at> [Sun, 22 Aug 2021 09:43:43 +0200] rev 60389
improvement in Rational.thy makes several testfiles run, breaks one.
wneuper <walther.neuper@jku.at> [Sat, 21 Aug 2021 18:58:33 +0200] rev 60388
improve usability of Rewrite.trace_on for HyperSearch on long traces
wneuper <walther.neuper@jku.at> [Wed, 18 Aug 2021 20:34:41 +0200] rev 60387
replace is_const with is_num, ERROR removed
wneuper <walther.neuper@jku.at> [Wed, 18 Aug 2021 16:46:22 +0200] rev 60386
\\re-establish is_const DOES NOT REMOVE THE STRANGE ERROR
wneuper <walther.neuper@jku.at> [Wed, 18 Aug 2021 16:03:08 +0200] rev 60385
\\replace is_const with is_num: STRANGE ERROR assoc_calc: 'Prog_Expr.is_num' not found in theory Poly
wneuper <walther.neuper@jku.at> [Wed, 18 Aug 2021 11:35:24 +0200] rev 60384
repair test/../root.sml, diff.sml; outcomment NEW errors TOODOO.1