Fri, 22 Oct 1993 13:42:51 +0100 | clasohm | changes in Readthy: | changeset | files |
Fri, 22 Oct 1993 13:39:23 +0100 | clasohm | delete_file now has type string -> unit in both NJ and POLY, | changeset | files |
Fri, 22 Oct 1993 13:35:15 +0100 | clasohm | changes for new Readthy | changeset | files |
Fri, 22 Oct 1993 11:42:02 +0100 | lcp | sample datatype defs now use datatype_intrs, datatype_elims | changeset | files |
Fri, 22 Oct 1993 11:34:41 +0100 | lcp | ZF/ind-syntax/fold_con_tac: deleted, since fold_tac now works | changeset | files |
Fri, 22 Oct 1993 11:25:15 +0100 | lcp | tactic/fold_tac,fold_goals_tac: now handle critical pairs on the | changeset | files |
Fri, 22 Oct 1993 10:31:19 +0100 | lcp | goals/print_top,prepare_proof: now call \!print_goals_ref | changeset | files |