src/FOL/ex/Quantifiers_Int.thy
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;