| 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 |
| Fri, 28 Oct 2005 22:28:07 +0200 | wenzelm | syntax for literal facts; | changeset | files |
| Fri, 28 Oct 2005 22:28:06 +0200 | wenzelm | removed try_dest_Goal, use Logic.unprotect; | changeset | files |
| Fri, 28 Oct 2005 22:28:04 +0200 | wenzelm | added cgoal_of; | changeset | files |