src/HOL/Bali/WellType.thy
Mon, 28 Jan 2002 17:00:19 +0100 schirmer Isabelle/Bali sources;
less more (0) tip