src/LCF/ex/Ex2.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-03-19 wenzelm 2012-03-19 modernized axiomatizations; tuned proofs;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2008-06-14 wenzelm 2008-06-14 proper context for tactics derived from res_inst_tac;
2006-06-01 wenzelm 2006-06-01 removed obsolete ML files;
2005-09-03 wenzelm 2005-09-03 converted to Isar theory format;
1998-05-08 wenzelm 1998-05-08 proper thy files;