src/HOL/MicroJava/BV/LBVCorrect.thy
Fri, 11 Aug 2000 14:52:52 +0200 kleing tuned
Mon, 07 Aug 2000 14:32:56 +0200 kleing BV and LBV specified in terms of app and step functions
Mon, 17 Jul 2000 14:00:53 +0200 kleing flat instruction set
less more (0) -3 tip