src/HOL/Proofs/Lambda/Commutation.thy
2012-02-17 wenzelm 2012-02-17 simplified configuration options for syntax ambiguity;
2012-02-16 wenzelm 2012-02-16 simplified configuration options for syntax ambiguity;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2010-09-06 wenzelm 2010-09-06 more antiquotations;
2010-09-06 wenzelm 2010-09-06 more explicit HOL-Proofs sessions, including former ex/Hilbert_Classical.thy which works in parallel mode without the antiquotation option "margin" (which is still critical);