| Fri, 28 Oct 2005 22:37:57 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Oct 2005 22:32:55 +0200 | wenzelm | lthms_containing: not o valid_thms; | changeset | files |
| Fri, 28 Oct 2005 22:28:15 +0200 | wenzelm | added fact_tac, some_fact_tac; | changeset | files |
| Fri, 28 Oct 2005 22:28:13 +0200 | wenzelm | renamed Goal constant to prop, more general protect/unprotect interfaces; | changeset | files |
| Fri, 28 Oct 2005 22:28:12 +0200 | wenzelm | renamed Goal constant to prop, more general protect/unprotect interfaces; | changeset | files |
| Fri, 28 Oct 2005 22:28:11 +0200 | wenzelm | added fact method; | changeset | files |
| Fri, 28 Oct 2005 22:28:09 +0200 | wenzelm | tuned ProofContext.export interfaces; | changeset | files |