src/HOL/Library/Code_Target_Numeral.thy
2015-08-08 haftmann 2015-08-08 direct bootstrap of integer division from natural division
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2012-11-08 haftmann 2012-11-08 refined stack of library theories implementing int and/or nat by target language numerals