src/FOLP/ex/If.thy
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2008-01-27 wenzelm 2008-01-27 eliminated some legacy ML files;
2006-06-06 wenzelm 2006-06-06 quoted "if";
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
1993-09-16 clasohm 1993-09-16 Initial revision