src/HOL/Codegenerator_Test/Generate_Target_Nat.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
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