src/HOL/IMP/Machines.thy
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2002-10-24 nipkow 2002-10-24 ASIN -> SET
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-04-29 nipkow 2002-04-29 Better compiler proof
2002-04-26 nipkow 2002-04-26 New machine architecture and other direction of compiler proof.