| Tue, 21 Sep 1999 10:39:33 +0200 | paulson | fixed SOUNDNESS BUG concerning the map from terms like ?f x y to SVC variables | changeset | files |
| Mon, 20 Sep 1999 12:01:41 +0200 | berghofe | Fixed bug in add_primrec which caused non-informative error message. | changeset | files |
| Mon, 20 Sep 1999 10:46:16 +0200 | paulson | renamed Always_Int to Always_Int_I | changeset | files |
| Mon, 20 Sep 1999 10:45:30 +0200 | paulson | new theorem mono_Follows_apply | changeset | files |
| Mon, 20 Sep 1999 10:42:09 +0200 | paulson | new theorem Always_INT_distrib; therefore renamed Always_Int | changeset | files |
| Mon, 20 Sep 1999 10:40:40 +0200 | paulson | working Safety proof for the system at last | changeset | files |