make-all
1994-02-03 lcp 1994-02-03 now makes HOLCF
1994-01-20 nipkow 1994-01-20 added HOLCF
1993-09-20 lcp 1993-09-20 make-all now has set +e so that New Jersey runs will continue even if some logic fails. change_simp added to help change to new simplifier.
1993-09-16 clasohm 1993-09-16 Initial revision