| Tue, 08 Feb 2000 20:14:09 +0100 | wenzelm | added forget_proof; | changeset | files |
| Tue, 08 Feb 2000 20:13:58 +0100 | wenzelm | added K.qed_global; | changeset | files |
| Tue, 08 Feb 2000 20:12:36 +0100 | wenzelm | omit Primes; | changeset | files |
| Mon, 07 Feb 2000 18:42:47 +0100 | wenzelm | (then_)apply: prove -> prove; | changeset | files |
| Mon, 07 Feb 2000 18:40:40 +0100 | wenzelm | assert_no_chain; | changeset | files |
| Mon, 07 Feb 2000 18:40:27 +0100 | wenzelm | refine_no_facts: recover goal_facts; | changeset | files |
| Mon, 07 Feb 2000 18:39:53 +0100 | wenzelm | tuned prefer/defer; | changeset | files |
| Mon, 07 Feb 2000 18:38:51 +0100 | wenzelm | intro/elim/dest attributes: changed ! / !! flags to ? / ??; | changeset | files |