src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy
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;
less more (0) -3 tip