| Mon, 17 Nov 1997 09:52:20 +0100 | berghofe | Tuned function mk_cntxt_splitthm. | changeset | files |
| Sun, 16 Nov 1997 16:18:31 +0100 | nipkow | Removed | changeset | files |
| Sat, 15 Nov 1997 18:41:06 +0100 | nipkow | Redesigned the decision procedures for (Abelian) groups and commutative rings. | changeset | files |
| Sat, 15 Nov 1997 13:10:52 +0100 | nipkow | Added | changeset | files |
| Fri, 14 Nov 1997 15:51:09 +0100 | wenzelm | merge_refs: check for different versions of theories; | changeset | files |
| Thu, 13 Nov 1997 17:55:27 +0100 | wenzelm | export read_raw_typ; | changeset | files |
| Thu, 13 Nov 1997 15:14:14 +0100 | wenzelm | fixed record parser; | changeset | files |