isabelle: Changelog

wenzelm [Wed, 15 Feb 2006 21:34:55 +0100] rev 19046

removed distinct, renamed gen_distinct to distinct;

urbanc [Wed, 15 Feb 2006 19:11:10 +0100] rev 19045

added lemma pt_perm_compose'

nipkow [Wed, 15 Feb 2006 19:01:09 +0100] rev 19044

got rid of superfluous linorder_neqE-instance for int.

webertj [Wed, 15 Feb 2006 18:10:09 +0100] rev 19043

typo in a comment fixed

haftmann [Wed, 15 Feb 2006 17:09:45 +0100] rev 19042

exported some interfaces useful for other code generator approaches

haftmann [Wed, 15 Feb 2006 17:09:25 +0100] rev 19041

some fixes

haftmann [Wed, 15 Feb 2006 17:09:06 +0100] rev 19040

exported specifications_of

haftmann [Tue, 14 Feb 2006 17:07:48 +0100] rev 19039

added theory of executable rational numbers

haftmann [Tue, 14 Feb 2006 17:07:11 +0100] rev 19038

improved handling of iml abstractions

paulson [Tue, 14 Feb 2006 13:03:00 +0100] rev 19037

fixed tracing

isabelle