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