src/HOL/MicroJava/J/WellForm.thy
Wed, 04 Jan 2006 19:22:53 +0100 nipkow Reversed Larry's option/iff change.
Wed, 21 Dec 2005 12:02:57 +0100 paulson removed or modified some instances of [iff]
less more (0) -10 -2 tip