src/HOL/Library/Executable_Set.thy
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2009-03-05 haftmann 2009-03-05 set operations Int, Un, INTER, UNION, Inter, Union, empty, UNIV are now proper qualified constants with authentic syntax
2008-12-15 nipkow 2008-12-15 flipped fold implementation
2008-12-11 nipkow 2008-12-11 code for {x:A. P(x)} and for fold
2008-12-01 haftmann 2008-12-01 added code equation for subset
2008-10-07 haftmann 2008-10-07 only one theorem table for both code generators
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-05-07 berghofe 2008-05-07 - Declared subset_eq as code lemma - Deleted types_code declaration for sets
2008-03-17 wenzelm 2008-03-17 avoid rebinding of existing facts;
2008-01-10 berghofe 2008-01-10 New interface for test data generators.
2007-12-10 haftmann 2007-12-10 switched import from Main to List
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-07-19 haftmann 2007-07-19 uniform naming conventions for CG theories