Thu, 21 Jan 2010 09:27:57 +0100 merged
haftmann [Thu, 21 Jan 2010 09:27:57 +0100] rev 34942
merged
Sat, 16 Jan 2010 17:15:28 +0100 dropped some old primrecs and some constdefs
haftmann [Sat, 16 Jan 2010 17:15:28 +0100] rev 34941
dropped some old primrecs and some constdefs
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.
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip