| Wed, 02 Nov 2005 14:46:54 +0100 | wenzelm | added consts.ML; | changeset | files |
| Wed, 02 Nov 2005 14:46:53 +0100 | wenzelm | fromConst: use Sign.const_typargs for efficient representation of type instances of constant declarations; | changeset | files |
| Wed, 02 Nov 2005 14:46:51 +0100 | wenzelm | dist_eqI: the_context(); | changeset | files |
| Wed, 02 Nov 2005 14:46:49 +0100 | wenzelm | Sign.const_monomorphic; | changeset | files |
| Wed, 02 Nov 2005 14:46:47 +0100 | wenzelm | Logic.nth_prem; | changeset | files |
| Wed, 02 Nov 2005 11:02:29 +0100 | urbanc | added the collection of lemmas "supp_at" | changeset | files |
| Tue, 01 Nov 2005 23:55:53 +0100 | urbanc | some minor tweaks in some proofs (nothing extraordinary) | changeset | files |