| 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 |
| Fri, 28 Oct 2005 22:28:03 +0200 | wenzelm | accomodate simplified Thm.lift_rule; | changeset | files |
| Fri, 28 Oct 2005 22:28:02 +0200 | wenzelm | export cong_modifiers, simp_modifiers'; | changeset | files |