| 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 |
| Thu, 21 Oct 1993 17:20:01 +0100 | lcp | Pure/drule/print_goals_ref: new, for Centaur interface | changeset | files |