src/HOL/Import/HOL_Light_Import.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-04-01 krauss 2012-04-01 clarified terminology; added reference to bundle component
2012-04-01 Cezary Kaliszyk 2012-04-01 Modernized HOL-Import for HOL Light