src/HOL/MicroJava/BV/Step.thy
Mon, 14 Aug 2000 14:48:07 +0200 wenzelm fixed document preparation;
Fri, 11 Aug 2000 14:52:52 +0200 kleing tuned
Wed, 09 Aug 2000 11:53:00 +0200 kleing tuned
Mon, 07 Aug 2000 14:32:56 +0200 kleing BV and LBV specified in terms of app and step functions
less more (0) tip