src/FOLP/ex/Propositional_Cla.thy
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
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-03-26 wenzelm 2008-03-26 converted legacy ML scripts;