isabelle: Changelog

haftmann [Tue, 18 Sep 2007 07:36:38 +0200] rev 24625

separated code for inductive sequences from inductive_codegen.ML

haftmann [Tue, 18 Sep 2007 07:36:15 +0200] rev 24624

distinction between regular and default code theorems

haftmann [Tue, 18 Sep 2007 07:36:14 +0200] rev 24623

renamed constructor RealC to Ratreal

haftmann [Tue, 18 Sep 2007 07:36:13 +0200] rev 24622

renamed constructor RatC to Rational

haftmann [Tue, 18 Sep 2007 07:36:12 +0200] rev 24621

clarified evaluation code

haftmann [Tue, 18 Sep 2007 07:36:11 +0200] rev 24620

adjusted

haftmann [Tue, 18 Sep 2007 07:36:10 +0200] rev 24619

clarified remark

haftmann [Tue, 18 Sep 2007 07:36:09 +0200] rev 24618

added script checking for consistency of ML file header

nipkow [Tue, 18 Sep 2007 07:22:42 +0200] rev 24617

sorting

nipkow [Tue, 18 Sep 2007 06:21:40 +0200] rev 24616

sorting

isabelle