Sat, 16 Jan 2010 17:15:27 +0100 explicit CONST in translations
haftmann [Sat, 16 Jan 2010 17:15:27 +0100] rev 34940
explicit CONST in translations
Sat, 16 Jan 2010 17:15:27 +0100 modernized syntax
haftmann [Sat, 16 Jan 2010 17:15:27 +0100] rev 34939
modernized syntax
Wed, 20 Jan 2010 11:54:19 +0100 fix issues with previous Nitpick change
blanchet [Wed, 20 Jan 2010 11:54:19 +0100] rev 34938
fix issues with previous Nitpick change
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;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip