src/HOL/IMP/Util.thy
2011-08-13 kleing 2011-08-13 IMP/Util distinguishes between sets and functions again; imported only where used.
2011-08-12 huffman 2011-08-12 make more HOL theories work with separate set type
2011-06-06 kleing 2011-06-06 imported rest of new IMP