| Fri, 31 Jan 1997 16:39:27 +0100 | oheimb | added def_fix_ind and def_wfix_ind for convenience | changeset | files |
| Fri, 31 Jan 1997 15:54:00 +0100 | oheimb | added addloop (and also documentation of addsolver | changeset | files |
| Fri, 31 Jan 1997 13:57:33 +0100 | oheimb | changed handling of cont_lemmas and adm_lemmas | changeset | files |
| Wed, 29 Jan 1997 15:58:17 +0100 | wenzelm | fixed getplatform call; | changeset | files |
| Wed, 29 Jan 1997 15:45:40 +0100 | wenzelm | removed warning for unprintable chars in strings (functionality will | changeset | files |
| Wed, 29 Jan 1997 15:34:23 +0100 | paulson | The redeclaration of qed_spec_mp is unnecessary because it is now declared | changeset | files |