1999-09-21 | nipkow | ROOT: Integ/bin_simprocs.ML now loaded in Integ/Bin.ML | changeset | files |
1999-09-21 | paulson | new proof of drop_prog_correct for new definition of project_act | changeset | files |
1999-09-21 | paulson | project_act no longer has a special case to allow identity actions | changeset | files |
1999-09-21 | paulson | fixed SOUNDNESS BUG concerning the map from terms like ?f x y to SVC variables | changeset | files |
Loading... |