src/HOL/MicroJava/Comp/CorrComp.thy
2003-08-29 ballarin 2003-08-29 Methods rule_tac etc support static (Isar) contexts.
2003-08-08 streckem 2003-08-08 Modifications after changes in MicroJava/J
2003-05-26 streckem 2003-05-26 Introduced distinction wf_prog vs. ws_prog
2003-05-14 nipkow 2003-05-14 *** empty log message ***
2003-02-27 paulson 2003-02-27 Reorganized, moving many results about the integer dvd relation from IntPrimes to main HOL (IntDiv)
2002-10-23 streckem 2002-10-23 First checkin of compiler