Tue, 06 Feb 2007 00:41:54 +0100 | urbanc | moved the infrastructure from the nominal_tags file to nominal_thmdecls | changeset | files |
Mon, 05 Feb 2007 15:55:32 +0100 | krauss | Exporting curried versions of tail recursive equations instead of internal ones | changeset | files |
Mon, 05 Feb 2007 12:03:52 +0100 | wenzelm | proper use of NameSpace.is_qualified (avoids compatibility issues of the SML B library); | changeset | files |
Sun, 04 Feb 2007 22:02:22 +0100 | wenzelm | removed non-modular comment; | changeset | files |
Sun, 04 Feb 2007 22:02:21 +0100 | wenzelm | interpretation: attempt to be more serious about name_morphism; | changeset | files |
Sun, 04 Feb 2007 22:02:20 +0100 | wenzelm | added full_naming; | changeset | files |