src/FOL/ex/Propositional_Int.thy
2016-01-01 wenzelm 2016-01-01 isabelle update_cartouches -c -t;
2015-10-19 wenzelm 2015-10-19 more symbols; tunes whitespace;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-04-27 wenzelm 2013-04-27 uniform Proof.context for hyp_subst_tac;
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;