summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files | gz |
help

(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

Integ/bin_simprocs.ML now loaded in Integ/Bin.ML

ROOT: Integ/bin_simprocs.ML now loaded in Integ/Bin.ML

new proof of drop_prog_correct for new definition of project_act

project_act no longer has a special case to allow identity actions

fixed SOUNDNESS BUG concerning the map from terms like ?f x y to SVC variables

Mon, 20 Sep 1999 12:01:41 +0200
Fixed bug in add_primrec which caused non-informative error message.

Fixed bug in add_primrec which caused non-informative error message.

renamed Always_Int to Always_Int_I

new theorem mono_Follows_apply

new theorem Always_INT_distrib; therefore renamed Always_Int
to Always_Int_I

working Safety proof for the system at last