urbanc [Tue, 06 Feb 2007 15:12:18 +0100] rev 22250
fixed two stupid bugs of SML to do with the value restriction and missing type
information in records
aspinall [Tue, 06 Feb 2007 12:54:55 +0100] rev 22249
askids/qualified_thms_of_thy: version which returns names in domain of get_thm
haftmann [Tue, 06 Feb 2007 11:40:53 +0100] rev 22248
added eta expansion to imperative monad bind
urbanc [Tue, 06 Feb 2007 00:53:15 +0100] rev 22247
corrected typo introduced by me
urbanc [Tue, 06 Feb 2007 00:43:23 +0100] rev 22246
now obsolete
urbanc [Tue, 06 Feb 2007 00:41:54 +0100] rev 22245
moved the infrastructure from the nominal_tags file to nominal_thmdecls
file, and adapted the code to conform with informal Isabelle programming
conventions
krauss [Mon, 05 Feb 2007 15:55:32 +0100] rev 22244
Exporting curried versions of tail recursive equations instead of internal ones
wenzelm [Mon, 05 Feb 2007 12:03:52 +0100] rev 22243
proper use of NameSpace.is_qualified (avoids compatibility issues of the SML B library);
wenzelm [Sun, 04 Feb 2007 22:02:22 +0100] rev 22242
removed non-modular comment;
wenzelm [Sun, 04 Feb 2007 22:02:21 +0100] rev 22241
interpretation: attempt to be more serious about name_morphism;