Tue, 06 Feb 2007 12:54:55 +0100 askids/qualified_thms_of_thy: version which returns names in domain of get_thm
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
Tue, 06 Feb 2007 11:40:53 +0100 added eta expansion to imperative monad bind
haftmann [Tue, 06 Feb 2007 11:40:53 +0100] rev 22248
added eta expansion to imperative monad bind
Tue, 06 Feb 2007 00:53:15 +0100 corrected typo introduced by me
urbanc [Tue, 06 Feb 2007 00:53:15 +0100] rev 22247
corrected typo introduced by me
Tue, 06 Feb 2007 00:43:23 +0100 now obsolete
urbanc [Tue, 06 Feb 2007 00:43:23 +0100] rev 22246
now obsolete
Tue, 06 Feb 2007 00:41:54 +0100 moved the infrastructure from the nominal_tags file to nominal_thmdecls
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
Mon, 05 Feb 2007 15:55:32 +0100 Exporting curried versions of tail recursive equations instead of internal ones
krauss [Mon, 05 Feb 2007 15:55:32 +0100] rev 22244
Exporting curried versions of tail recursive equations instead of internal ones
Mon, 05 Feb 2007 12:03:52 +0100 proper use of NameSpace.is_qualified (avoids compatibility issues of the SML B library);
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);
Sun, 04 Feb 2007 22:02:22 +0100 removed non-modular comment;
wenzelm [Sun, 04 Feb 2007 22:02:22 +0100] rev 22242
removed non-modular comment;
Sun, 04 Feb 2007 22:02:21 +0100 interpretation: attempt to be more serious about name_morphism;
wenzelm [Sun, 04 Feb 2007 22:02:21 +0100] rev 22241
interpretation: attempt to be more serious about name_morphism;
Sun, 04 Feb 2007 22:02:20 +0100 added full_naming;
wenzelm [Sun, 04 Feb 2007 22:02:20 +0100] rev 22240
added full_naming;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip