src/HOL/IMP/Types.thy
2011-08-03 kleing 2011-08-03 fixed wrong isubs in IMP/Types
2011-06-02 nipkow 2011-06-02 Added typed IMP