| Wed, 15 Feb 2006 21:35:04 +0100 | wenzelm | replaced qualified_force_prefix to sticky_prefix; | changeset | files |
| Wed, 15 Feb 2006 21:35:04 +0100 | wenzelm | chop is no longer pervasive; | changeset | files |
| Wed, 15 Feb 2006 21:35:02 +0100 | wenzelm | rewrite_cterm: Thm.adjust_maxidx prevents unnecessary increments on rules; | changeset | files |
| Wed, 15 Feb 2006 21:35:02 +0100 | wenzelm | added distinct_prems_rl; | changeset | files |
| Wed, 15 Feb 2006 21:35:00 +0100 | wenzelm | specifications_of: avoid partiality; | changeset | files |
| Wed, 15 Feb 2006 21:34:59 +0100 | wenzelm | counter example: avoid vacuous trace; | changeset | files |
| Wed, 15 Feb 2006 21:34:59 +0100 | wenzelm | cannot use section before setup; | changeset | files |
| Wed, 15 Feb 2006 21:34:57 +0100 | wenzelm | used Tactic.distinct_subgoals_tac; | changeset | files |