src/HOL/IMP/Sem_Equiv.thy
2011-08-17 huffman 2011-08-17 HOL-IMP: respect set/pred distinction
2011-08-08 kleing 2011-08-08 import constant folding theory into IMP