| Tue, 21 Sep 1999 11:11:09 +0200 | paulson | new proof of drop_prog_correct for new definition of project_act | changeset | files |
| Tue, 21 Sep 1999 11:09:24 +0200 | paulson | project_act no longer has a special case to allow identity actions | changeset | files |
| 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 |