2009-11-10 haftmann 2009-11-10 tuned imports
2009-10-28 haftmann 2009-10-28 moved theory Divides after theory Nat_Numeral; tuned some proof texts
2009-03-06 haftmann 2009-03-06 moved instance option :: finite to Option.thy
2009-02-23 huffman 2009-02-23 change imports to move Fact.thy outside Plain
2009-02-09 chaieb 2009-02-09 Now imports Fact as suggested by Florian in order to avoid the typerep problem
2009-02-06 blanchet 2009-02-06 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.
2009-01-21 haftmann 2009-01-21 changed import hierarchy
2009-01-02 wenzelm 2009-01-02 tuned header and description of boot files;
2008-06-26 haftmann 2008-06-26 established Plain theory and image