1998-06-22 | wenzelm | isatool fixgoal; | file | diff | annotate |
1996-09-26 | paulson | Ran expandshort; used stac instead of ssubst | file | diff | annotate |
1996-01-29 | clasohm | expanded tabs | file | diff | annotate |
1994-11-30 | clasohm | added qed and qed_goal[w] | file | diff | annotate |
1994-10-19 | lcp | CCL/Gfp/coinduct2, coinduct3: modified proofs to suppress deep unification | file | diff | annotate |
1993-09-16 | clasohm | Initial revision | file | diff | annotate |