| Fri, 02 Jun 2000 17:42:43 +0200 | paulson | Many new theorems about multisets and their ordering, including basic | changeset | files |
| Fri, 02 Jun 2000 15:19:18 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 02 Jun 2000 12:44:04 +0200 | oheimb | added HOL/Prolog | changeset | files |
| Thu, 01 Jun 2000 13:28:00 +0200 | paulson | simplified the proof of nth_upt | changeset | files |
| Thu, 01 Jun 2000 11:22:27 +0200 | fleuriot | Updated files to remove 0r and 1r from theorems in descendant theories | changeset | files |
| Wed, 31 May 2000 18:06:02 +0200 | kleing | switched to Isar proofs | changeset | files |
| Wed, 31 May 2000 14:30:28 +0200 | wenzelm | Isar/Pure: removed obsolete 'transfer' attribute (transfer of thms to | changeset | files |