src/HOL/NanoJava/Example.thy
Mon, 15 Oct 2001 17:02:57 +0200 oheimb renamed reset_locs to del_locs
less more (0) tip