src/HOL/IMP/Compiler0.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Wed, 14 Apr 2004 14:13:05 +0200 kleing use more symbols in HTML output
Fri, 10 May 2002 11:56:26 +0200 nipkow commented out half converted proof
Tue, 07 May 2002 19:15:11 +0200 nipkow a bit of conversion to structured proofs
Fri, 26 Apr 2002 11:47:01 +0200 nipkow New machine architecture and other direction of compiler proof.
less more (0) tip