Fri, 04 Jul 2003 17:09:26 +0200 | berghofe | Added check for HOL_proofs: Theory WeakNorm is skipped if HOL image has been | changeset | files |
Thu, 03 Jul 2003 18:07:50 +0200 | paulson | converted UNITY/Comp/{AllocImpl,Client} to Isar scripts | changeset | files |
Thu, 03 Jul 2003 12:56:48 +0200 | paulson | converted Counter, Counterc and PriorityAux to Isar scripts (all HOL/UNITY/Comp) | changeset | files |
Thu, 03 Jul 2003 10:37:25 +0200 | paulson | Conversion of UNITY/Comp/Priority.thy to a linear Isar script | changeset | files |
Wed, 02 Jul 2003 16:57:57 +0200 | nipkow | Type antiquotations do not use the bracket syntax by default any longer. | changeset | files |
Tue, 01 Jul 2003 10:50:26 +0200 | paulson | moved some lemmas here from ZF | changeset | files |
Mon, 30 Jun 2003 18:15:51 +0200 | paulson | Removal of UNITY/UNITYMisc, moving its theorems elsewhere. | changeset | files |