Wed, 07 Nov 2007 16:43:00 +0100 | wenzelm | discontinued ProofContext.read_prop_legacy; | changeset | files |
Wed, 07 Nov 2007 16:42:59 +0100 | wenzelm | discontinued ProofContext.read_prop_legacy; | changeset | files |
Wed, 07 Nov 2007 16:42:58 +0100 | wenzelm | refined Variable.declare_const; | changeset | files |
Wed, 07 Nov 2007 16:42:57 +0100 | wenzelm | refined notion of consts within the local scope; | changeset | files |
Wed, 07 Nov 2007 16:42:56 +0100 | wenzelm | tuned signature; | changeset | files |
Wed, 07 Nov 2007 16:42:55 +0100 | wenzelm | removed obsolete Sign.read_tyname/const (cf. ProofContext); | changeset | files |
Wed, 07 Nov 2007 03:51:17 +0100 | kleing | map and prefix | changeset | files |