src/FOL/ex/Quantifiers_Cla.thy
2011-02-18 wenzelm 2011-02-18 more precise headers;
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2009-07-09 wenzelm 2009-07-09 removed obsolete CVS Ids;
2007-07-22 wenzelm 2007-07-22 turned ex/prop.ML, ex/quant.ML into proper theories;