| Wed, 29 Jan 2003 16:34:51 +0100 | paulson | converted more UNITY theories to new-style | changeset | files |
| Wed, 29 Jan 2003 16:29:38 +0100 | nipkow | *** empty log message *** | changeset | files |
| Wed, 29 Jan 2003 11:02:08 +0100 | paulson | converting UNITY to new-style theories | changeset | files |
| Tue, 28 Jan 2003 22:53:39 +0100 | nipkow | New example | changeset | files |
| Tue, 28 Jan 2003 07:39:29 +0100 | nipkow | pos/neg_mod_sign/bound are now simp rules. | changeset | files |
| Mon, 27 Jan 2003 10:39:31 +0100 | kleing | fixed missing UNITY files | changeset | files |
| Fri, 24 Jan 2003 18:13:59 +0100 | paulson | More conversion of UNITY to Isar new-style theories | changeset | files |