src/HOL/Proofs/Extraction/Greatest_Common_Divisor.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2011-10-19 bulwahn 2011-10-19 removing invocations of the evaluation method based on the old code generator
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);