isabelle: Changelog

haftmann [Tue, 09 May 2006 14:18:40 +0200] rev 19607

introduced characters for code generator; some improved code lemmas for some list functions

haftmann [Tue, 09 May 2006 11:00:32 +0200] rev 19606

added .cvsignore

haftmann [Tue, 09 May 2006 10:13:09 +0200] rev 19605

added ExecutableRat.thy

haftmann [Tue, 09 May 2006 10:11:47 +0200] rev 19604

removed 1::int

haftmann [Tue, 09 May 2006 10:11:30 +0200] rev 19603

added preprocs for CodegenTheorems

haftmann [Tue, 09 May 2006 10:10:57 +0200] rev 19602

improved code generation for wfrec

haftmann [Tue, 09 May 2006 10:10:28 +0200] rev 19601

added codegen preprocessors for numerals

haftmann [Tue, 09 May 2006 10:10:12 +0200] rev 19600

adaption to CodegenTheorems

haftmann [Tue, 09 May 2006 10:09:37 +0200] rev 19599

added DatatypeHooks

haftmann [Tue, 09 May 2006 10:09:17 +0200] rev 19598

different object logic setup for CodegenTheorems

isabelle