Thu, 27 Dec 2001 16:43:56 +0100 | wenzelm | HOL/IMP and HOLCF/IMP updated and converted (Gerwin Klein); | changeset | files |
Tue, 25 Dec 2001 10:02:20 +0100 | paulson | some new theorems | changeset | files |
Tue, 25 Dec 2001 10:02:01 +0100 | paulson | conversion to Isar | changeset | files |
Sat, 22 Dec 2001 19:46:16 +0100 | paulson | tweaked the standard theorems | changeset | files |
Sat, 22 Dec 2001 19:42:35 +0100 | paulson | Resid converted to Isar/ZF | changeset | files |
Fri, 21 Dec 2001 23:20:29 +0100 | wenzelm | restart: sync_thy_loader instead of overly aggressive touch_all_thys; | changeset | files |
Fri, 21 Dec 2001 23:18:46 +0100 | wenzelm | qualified point.more; | changeset | files |