src/FOLP/ex/Foundation.thy
2011-02-18 wenzelm 2011-02-18 more precise headers;
2011-01-12 wenzelm 2011-01-12 eliminated global prems;
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2008-01-27 wenzelm 2008-01-27 eliminated some legacy ML files;