Fri, 14 Jul 2000 16:27:37 +0200 | oheimb | re-added subset_empty to simpset | changeset | files |
Fri, 14 Jul 2000 14:51:02 +0200 | paulson | used bounded quantification in definition of guarantees and other minor | changeset | files |
Fri, 14 Jul 2000 14:47:15 +0200 | paulson | moved sublist from UNITY/AllocBase to List | changeset | files |