| Mon, 20 Jun 2005 22:14:14 +0200 | wenzelm | refl_tac: avoid failure of unification, i.e. confusing trace msg; | changeset | files |
| Mon, 20 Jun 2005 22:14:13 +0200 | wenzelm | print_theorems: proper use of PureThy.print_theorems_diff; | changeset | files |
| Mon, 20 Jun 2005 22:14:12 +0200 | wenzelm | thmref: Name vs. NameSelection; | changeset | files |