| Sat, 19 Aug 2000 12:41:41 +0200 | wenzelm | renamed cond_with_path to cond_add_path (add to front); | changeset | files |
| Fri, 18 Aug 2000 18:46:02 +0200 | paulson | X-symbols for ordinal, cardinal, integer arithmetic | changeset | files |
| Fri, 18 Aug 2000 18:11:10 +0200 | wenzelm | fixed RuleCases.make (invert flag); | changeset | files |
| Fri, 18 Aug 2000 18:06:10 +0200 | wenzelm | removed obsolete add_recdef_x; | changeset | files |
| Fri, 18 Aug 2000 17:58:33 +0200 | wenzelm | proper handling of defs; | changeset | files |
| Fri, 18 Aug 2000 17:53:49 +0200 | wenzelm | Main now new-style theory; added Main.ML for compatibility; | changeset | files |
| Fri, 18 Aug 2000 12:34:48 +0200 | paulson | simproc bug fix: only TYPING assumptions are given to the simplifier | changeset | files |