Tue, 21 Dec 1993 14:47:29 +0100 | wenzelm | pretty_thm is now exported; | file | diff | annotate |
Thu, 21 Oct 1993 17:20:01 +0100 | lcp | Pure/drule/print_goals_ref: new, for Centaur interface | file | diff | annotate |
Fri, 24 Sep 1993 10:52:55 +0200 | lcp | Added MRS, MRL from ZF/ROOT.ML. These support forward proof, resolving a | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |