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 |
Sat, 18 Nov 2000 19:47:12 +0100 | wenzelm | axclass ordered_ring; | changeset | files |
Sat, 18 Nov 2000 19:46:48 +0100 | wenzelm | quot_cond_function: simplified, support conditional definition; | changeset | files |
Sat, 18 Nov 2000 19:45:37 +0100 | wenzelm | abs_eq_0: #0 instead of 0; | changeset | files |
Sat, 18 Nov 2000 19:45:05 +0100 | wenzelm | symbol syntax for "abs"; | changeset | files |