Mon, 04 Aug 2008 21:24:15 +0200 | wenzelm | abstract type stopper, may depend on final input; | changeset | files |
Mon, 04 Aug 2008 20:27:40 +0200 | wenzelm | removed obsolete apply_theorems(_i); | changeset | files |
Mon, 04 Aug 2008 20:27:39 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 04 Aug 2008 20:27:38 +0200 | wenzelm | removed obsolete note_thms_cmd; | changeset | files |
Mon, 04 Aug 2008 20:27:37 +0200 | wenzelm | simplified defer_recdef(_i): plain facts via Attrib.eval_thms; | changeset | files |
Mon, 04 Aug 2008 20:19:59 +0200 | wenzelm | tuned description; | changeset | files |