src/FOL/ex/Miniscope.thy
2015-10-19 wenzelm 2015-10-19 more symbols; tunes whitespace;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2015-02-10 wenzelm 2015-02-10 proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
2014-10-30 wenzelm 2014-10-30 eliminated aliases;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2009-07-09 wenzelm 2009-07-09 removed obsolete CVS Ids;
2008-03-19 wenzelm 2008-03-19 more antiquotations;
2006-06-07 wenzelm 2006-06-07 removed obsolete ML files;