isabelle: Changelog

wenzelm [Tue, 19 Sep 2006 18:18:11 +0200] rev 20610

moved Import/susp.ML to Pure/General;

obua [Tue, 19 Sep 2006 18:13:10 +0200] rev 20609

renamed axclass_xxxx axclasses

haftmann [Tue, 19 Sep 2006 15:44:04 +0200] rev 20608

removed diagnostic messages

haftmann [Tue, 19 Sep 2006 15:31:32 +0200] rev 20607

Operational Equality

urbanc [Tue, 19 Sep 2006 15:31:25 +0200] rev 20606

this file contains a compile-challenge suggested by Adam Chlipala; so far it contains only the definition and no proofs

urbanc [Tue, 19 Sep 2006 15:22:44 +0200] rev 20605

tuned

haftmann [Tue, 19 Sep 2006 15:22:35 +0200] rev 20604

added auxiliary lemma for code generation 2

haftmann [Tue, 19 Sep 2006 15:22:29 +0200] rev 20603

removed

haftmann [Tue, 19 Sep 2006 15:22:29 +0200] rev 20602

moved part of normalization oracle here

haftmann [Tue, 19 Sep 2006 15:22:28 +0200] rev 20601

classical arity syntax

isabelle