Tue, 18 Sep 2007 07:46:00 +0200 introduced generic concepts for theory interpretators
haftmann [Tue, 18 Sep 2007 07:46:00 +0200] rev 24626
introduced generic concepts for theory interpretators
Tue, 18 Sep 2007 07:36:38 +0200 separated code for inductive sequences from inductive_codegen.ML
haftmann [Tue, 18 Sep 2007 07:36:38 +0200] rev 24625
separated code for inductive sequences from inductive_codegen.ML
Tue, 18 Sep 2007 07:36:15 +0200 distinction between regular and default code theorems
haftmann [Tue, 18 Sep 2007 07:36:15 +0200] rev 24624
distinction between regular and default code theorems
Tue, 18 Sep 2007 07:36:14 +0200 renamed constructor RealC to Ratreal
haftmann [Tue, 18 Sep 2007 07:36:14 +0200] rev 24623
renamed constructor RealC to Ratreal
Tue, 18 Sep 2007 07:36:13 +0200 renamed constructor RatC to Rational
haftmann [Tue, 18 Sep 2007 07:36:13 +0200] rev 24622
renamed constructor RatC to Rational
Tue, 18 Sep 2007 07:36:12 +0200 clarified evaluation code
haftmann [Tue, 18 Sep 2007 07:36:12 +0200] rev 24621
clarified evaluation code
Tue, 18 Sep 2007 07:36:11 +0200 adjusted
haftmann [Tue, 18 Sep 2007 07:36:11 +0200] rev 24620
adjusted
Tue, 18 Sep 2007 07:36:10 +0200 clarified remark
haftmann [Tue, 18 Sep 2007 07:36:10 +0200] rev 24619
clarified remark
Tue, 18 Sep 2007 07:36:09 +0200 added script checking for consistency of ML file header
haftmann [Tue, 18 Sep 2007 07:36:09 +0200] rev 24618
added script checking for consistency of ML file header
Tue, 18 Sep 2007 07:22:42 +0200 sorting
nipkow [Tue, 18 Sep 2007 07:22:42 +0200] rev 24617
sorting
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip