src/HOL/Import/Import_Setup.thy
2017-04-22 wenzelm 2017-04-22 theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2015-03-10 paulson 2015-03-10 renaming HOL/Fact.thy -> Binomial.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-23 haftmann 2014-10-23 downshift of theory Parity in the hierarchy
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-04-01 Cezary Kaliszyk 2012-04-01 Modernized HOL-Import for HOL Light