Wed, 20 Jan 2010 10:38:19 +0100 merged
blanchet [Wed, 20 Jan 2010 10:38:19 +0100] rev 34937
merged
Wed, 20 Jan 2010 10:38:06 +0100 some work on Nitpick's support for quotient types;
blanchet [Wed, 20 Jan 2010 10:38:06 +0100] rev 34936
some work on Nitpick's support for quotient types; quotient types are not yet in Isabelle, so for now I hardcoded "IntEx.my_int"
Thu, 14 Jan 2010 17:06:35 +0100 removed the Nitpick code that loaded the "Nitpick" theory explicitly if it's not already loaded, because this didn't work properly and is of doubtful value
blanchet [Thu, 14 Jan 2010 17:06:35 +0100] rev 34935
removed the Nitpick code that loaded the "Nitpick" theory explicitly if it's not already loaded, because this didn't work properly and is of doubtful value
Tue, 19 Jan 2010 17:53:11 +0100 Added transpose_rectangle, when the input list is rectangular.
hoelzl [Tue, 19 Jan 2010 17:53:11 +0100] rev 34934
Added transpose_rectangle, when the input list is rectangular.
Tue, 19 Jan 2010 16:52:01 +0100 Add transpose to the List-theory.
hoelzl [Tue, 19 Jan 2010 16:52:01 +0100] rev 34933
Add transpose to the List-theory.
Tue, 02 Feb 2010 21:37:27 +0100 some examples for basic context operations;
wenzelm [Tue, 02 Feb 2010 21:37:27 +0100] rev 34932
some examples for basic context operations;
Tue, 02 Feb 2010 13:22:36 +0100 minimal tuning of this slightly dated material;
wenzelm [Tue, 02 Feb 2010 13:22:36 +0100] rev 34931
minimal tuning of this slightly dated material;
Tue, 02 Feb 2010 13:11:04 +0100 added Subgoal.FOCUS;
wenzelm [Tue, 02 Feb 2010 13:11:04 +0100] rev 34930
added Subgoal.FOCUS; misc tuning and clarification;
Tue, 02 Feb 2010 12:37:57 +0100 misc tuning and clarification;
wenzelm [Tue, 02 Feb 2010 12:37:57 +0100] rev 34929
misc tuning and clarification;
Tue, 02 Feb 2010 11:47:49 +0100 moved examples to proper place;
wenzelm [Tue, 02 Feb 2010 11:47:49 +0100] rev 34928
moved examples to proper place;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip