Sat, 29 Jul 2006 00:51:29 +0200 | wenzelm | Goal.prove: more tactic arguments; | changeset | files |
Fri, 28 Jul 2006 18:37:25 +0200 | paulson | Checking for unsound proofs. Tidying. | changeset | files |
Fri, 28 Jul 2006 18:36:24 +0200 | paulson | "all theorems" mode forces definition-expansion off. | changeset | files |
Fri, 28 Jul 2006 18:11:22 +0200 | webertj | title fixed | changeset | files |
Thu, 27 Jul 2006 23:28:30 +0200 | wenzelm | replaced extern_skolem by slightly more simplistic revert_skolems; | changeset | files |
Thu, 27 Jul 2006 23:28:28 +0200 | wenzelm | renamed ProofContext.fix_frees to Variable.fix_frees; | changeset | files |