| 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 |
| Mon, 20 Jun 2005 22:14:11 +0200 | wenzelm | generalized type of inter; | changeset | files |
| Mon, 20 Jun 2005 22:14:10 +0200 | wenzelm | added previous; | changeset | files |
| Mon, 20 Jun 2005 22:14:09 +0200 | wenzelm | added begin_theory, end_theory; | changeset | files |
| Mon, 20 Jun 2005 22:14:08 +0200 | wenzelm | added certify_prop, cert_term, cert_prop; | changeset | files |