| 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 |