src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-11-15 haftmann 2013-11-15 proper code equations for Gcd and Lcm on nat and int
2013-11-10 haftmann 2013-11-10 qualifed popular user space names
2013-09-02 Andreas Lochbihler 2013-09-02 move admissible out of class ccpo to avoid unnecessary class predicate in foundational theorems
2013-04-03 haftmann 2013-04-03 optionalized very specific code setup for multisets
2013-02-15 haftmann 2013-02-15 attempt to re-establish conventions which theories are loaded into the grand unified library theory; four different code generation tests for different code setup constellations; augment code generation setup where necessary