bulwahn [Wed, 19 Oct 2011 09:11:15 +0200] rev 46056
removing old code generator setup for efficient natural numbers; cleaned typo
bulwahn [Wed, 19 Oct 2011 09:11:14 +0200] rev 46055
removing old code generator setup for real numbers; tuned
bulwahn [Wed, 19 Oct 2011 09:11:14 +0200] rev 46054
removing old code generator setup for rational numbers; tuned
bulwahn [Wed, 19 Oct 2011 08:37:29 +0200] rev 46053
removing old code generator setup for strings
bulwahn [Wed, 19 Oct 2011 08:37:27 +0200] rev 46052
removing old code generator setup for lists
bulwahn [Wed, 19 Oct 2011 08:37:26 +0200] rev 46051
removing old code generator setup for integers
bulwahn [Wed, 19 Oct 2011 08:37:25 +0200] rev 46050
removing old code generator for inductive predicates
bulwahn [Wed, 19 Oct 2011 08:37:24 +0200] rev 46049
removing quickcheck tester SML-inductive based on the old code generator
bulwahn [Wed, 19 Oct 2011 08:37:23 +0200] rev 46048
removing old code generator setup for inductive sets in the inductive set package
bulwahn [Wed, 19 Oct 2011 08:37:22 +0200] rev 46047
removing old code generator setup of inductive predicates