| Mon, 20 May 2002 11:45:57 +0200 | paulson | conversion of equalities and WF to Isar | changeset | files |
| Sat, 18 May 2002 22:22:23 +0200 | paulson | converted Epsilon to Isar | changeset | files |
| Sat, 18 May 2002 20:08:17 +0200 | paulson | converted Arith, Univ, func to Isar format! | changeset | files |
| Fri, 17 May 2002 16:54:25 +0200 | paulson | New theorems from Constructible, and moving some Isar material from Main | changeset | files |
| Fri, 17 May 2002 16:48:11 +0200 | paulson | unsymbolize | changeset | files |
| Fri, 17 May 2002 16:47:24 +0200 | paulson | deleting the obsolete theorem lt_succ_iff | changeset | files |
| Fri, 17 May 2002 15:40:59 +0200 | nipkow | Turned into Isar theories. | changeset | files |