src/HOL/Library/Executable_Set.thy
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