Fri, 14 Jul 2000 16:27:42 +0200 | oheimb | added fun_upd2_simproc | changeset | files |
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 |