src/HOL/IMP/Fold.thy
2011-08-08 kleing 2011-08-08 import constant folding theory into IMP