src/Doc/Logics/document/HOL.tex
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2014-09-11 blanchet 2014-09-11 fixed some spelling mistakes
2014-08-18 blanchet 2014-08-18 reordered some (co)datatype property names for more consistency
2014-02-12 blanchet 2014-02-12 renamed 'nat_{case,rec}' to '{case,rec}_nat'
2014-02-12 blanchet 2014-02-12 renamed '{prod,sum,bool,unit}_case' to 'case_...'
2014-02-12 blanchet 2014-02-12 adapted theories to '{case,rec}_{list,option}' names
2013-07-07 wenzelm 2013-07-07 reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry;