Fri, 06 Feb 2009 15:15:27 +0100 authentic syntax for List.nth
haftmann [Fri, 06 Feb 2009 15:15:27 +0100] rev 29822
authentic syntax for List.nth
Fri, 06 Feb 2009 14:36:58 +0100 Merged.
berghofe [Fri, 06 Feb 2009 14:36:58 +0100] rev 29821
Merged.
Fri, 06 Feb 2009 13:43:19 +0100 Rearrange Refute/SAT theory dependencies so as to use even more antiquotations in refute.ML +
blanchet [Fri, 06 Feb 2009 13:43:19 +0100] rev 29820
Rearrange Refute/SAT theory dependencies so as to use even more antiquotations in refute.ML + find/fix Product_Type.{fst,snd}, which are now called simply fst and snd.
Fri, 06 Feb 2009 08:23:15 +0000 Automated merge with ssh://chaieb@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
chaieb [Fri, 06 Feb 2009 08:23:15 +0000] rev 29819
Automated merge with ssh://chaieb@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
Fri, 06 Feb 2009 08:22:32 +0000 fixed import
chaieb [Fri, 06 Feb 2009 08:22:32 +0000] rev 29818
fixed import
Fri, 06 Feb 2009 09:06:17 +0100 merged
haftmann [Fri, 06 Feb 2009 09:06:17 +0100] rev 29817
merged
Fri, 06 Feb 2009 09:05:20 +0100 more robust failure in error situations
haftmann [Fri, 06 Feb 2009 09:05:20 +0100] rev 29816
more robust failure in error situations
Fri, 06 Feb 2009 09:05:19 +0100 mandatory prefix for index conversion operations
haftmann [Fri, 06 Feb 2009 09:05:19 +0100] rev 29815
mandatory prefix for index conversion operations
Fri, 06 Feb 2009 09:05:19 +0100 added replace operation
haftmann [Fri, 06 Feb 2009 09:05:19 +0100] rev 29814
added replace operation
Fri, 06 Feb 2009 00:13:15 +0000 fixed dependencies : Theory Dense_Linear_Order moved to Library
chaieb [Fri, 06 Feb 2009 00:13:15 +0000] rev 29813
fixed dependencies : Theory Dense_Linear_Order moved to Library
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip