1996-01-29 clasohm 1996-01-29 expanded tabs
1994-11-30 clasohm 1994-11-30 added qed and qed_goal[w]
1994-10-19 lcp 1994-10-19 CCL/Gfp/coinduct2, coinduct3: modified proofs to suppress deep unification CCL/CCL, Fix, Gfp, Hered, Set, Term, Trancl, Type, Wfd: expanded shorthands
1993-09-21 lcp 1993-09-21 This commit should not have been necessary. For some reason, the previous commit did not update genrec.ML. There were still occurrences of SIMP_TAC. Was the commit perhaps interrupted??
1993-09-16 clasohm 1993-09-16 Initial revision