haftmann [Fri, 06 Feb 2009 15:15:27 +0100] rev 29759
authentic syntax for List.nth
berghofe [Fri, 06 Feb 2009 14:36:58 +0100] rev 29758
Merged.
blanchet [Fri, 06 Feb 2009 13:43:19 +0100] rev 29757
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.
chaieb [Fri, 06 Feb 2009 08:23:15 +0000] rev 29756
Automated merge with ssh://chaieb@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
chaieb [Fri, 06 Feb 2009 08:22:32 +0000] rev 29755
fixed import
haftmann [Fri, 06 Feb 2009 09:06:17 +0100] rev 29754
merged
haftmann [Fri, 06 Feb 2009 09:05:20 +0100] rev 29753
more robust failure in error situations
haftmann [Fri, 06 Feb 2009 09:05:19 +0100] rev 29752
mandatory prefix for index conversion operations
haftmann [Fri, 06 Feb 2009 09:05:19 +0100] rev 29751
added replace operation
chaieb [Fri, 06 Feb 2009 00:13:15 +0000] rev 29750
fixed dependencies : Theory Dense_Linear_Order moved to Library