Mon, 02 Nov 2009 21:27:26 +0100 | ballarin | Relax on type agreement with original context when applying term syntax. | changeset | files |
Thu, 05 Nov 2009 23:59:23 +0100 | wenzelm | tuned; | changeset | files |
Thu, 05 Nov 2009 22:59:57 +0100 | wenzelm | proper naming convention lthy: local_theory, but ctxt: Proof.context for arbitrary context; | changeset | files |