| Sat, 18 Nov 2000 19:48:34 +0100 | wenzelm | export freeze_thaw_type; | changeset | files |
| Sat, 18 Nov 2000 19:48:07 +0100 | wenzelm | improved messages; | changeset | files |
| Sat, 18 Nov 2000 19:47:36 +0100 | wenzelm | default_intro_classes_tac: Tactic.distinct_subgoals_tac; | changeset | files |