Wed, 02 Nov 2005 14:46:58 +0100 | wenzelm | moved consts declarations to consts.ML; | changeset | files |
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 |