src/HOL/ex/set.thy
2002-05-07 wenzelm 2002-05-07 tuned presentation;
2002-03-14 paulson 2002-03-14 converted theory "set" to Isar and added some SET-VAR examples
2000-06-21 wenzelm 2000-06-21 fixed deps;