| 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 |
| Wed, 31 May 2000 14:29:42 +0200 | wenzelm | Toplevel.no_timing; | changeset | files |
| Wed, 31 May 2000 14:29:29 +0200 | wenzelm | transfer now automatic; | changeset | files |