src/HOL/Matrix_LP/ComputeHOL.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
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
2012-03-17 wenzelm 2012-03-17 renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP;