src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy
Tue, 24 May 2016 18:48:01 +0200 eberlm Removed problematic code equation for set_permutations
Tue, 24 May 2016 18:46:51 +0200 eberlm Backed out changeset 8230358fab88
Tue, 24 May 2016 17:42:14 +0200 eberlm Deleted problematic code equation in Codegenerator_Test
Fri, 26 Feb 2016 22:15:09 +0100 Manuel Eberl Tuned Euclidean Rings/GCD rings
Sun, 29 Mar 2015 19:32:27 +0200 wenzelm tuned;
Thu, 05 Feb 2015 19:44:14 +0100 haftmann slightly more standard code setup for String.literal, with explicit special case in predicate compiler
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
less more (0) -10 -7 tip