| Wed, 02 Nov 2005 14:46:57 +0100 | wenzelm | Consts.dest; | changeset | files |
| Wed, 02 Nov 2005 14:46:56 +0100 | wenzelm | Polymorphic constants. | changeset | files |
| 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 |