src/HOL/ex/set.thy
Thu, 14 Mar 2002 16:48:34 +0100 paulson converted theory "set" to Isar and added some SET-VAR examples
Wed, 21 Jun 2000 15:58:23 +0200 wenzelm fixed deps;
less more (0) tip