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 |