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
bulwahn [Wed, 19 Oct 2011 08:37:21 +0200] rev 46046
removing old code generator setup for product types
bulwahn [Wed, 19 Oct 2011 08:37:20 +0200] rev 46045
removing old code generator setup for function types
bulwahn [Wed, 19 Oct 2011 08:37:19 +0200] rev 46044
removing old code generator setup for datatypes
bulwahn [Wed, 19 Oct 2011 08:37:17 +0200] rev 46043
removing old code generator for recursive functions
bulwahn [Wed, 19 Oct 2011 08:37:16 +0200] rev 46042
removing old code generator setup in the HOL theory
bulwahn [Wed, 19 Oct 2011 08:37:15 +0200] rev 46041
removing invocations of the evaluation method based on the old code generator
bulwahn [Wed, 19 Oct 2011 08:37:14 +0200] rev 46040
removing invocations of the old code generator