isabelle: Changelog

paulson [Wed, 28 Jun 2006 09:27:53 +0200] rev 19954

disjunctive wellfoundedness

haftmann [Tue, 27 Jun 2006 10:10:20 +0200] rev 19953

class package refinements, slight code generation refinements

haftmann [Tue, 27 Jun 2006 10:09:48 +0200] rev 19952

added class projection

haftmann [Tue, 27 Jun 2006 10:09:44 +0200] rev 19951

slight improvement

haftmann [Tue, 27 Jun 2006 10:09:39 +0200] rev 19950

replaced subgraph by project

wenzelm [Sat, 24 Jun 2006 22:54:37 +0200] rev 19949

fix/fixes: tuned type constraints;

wenzelm [Sat, 24 Jun 2006 22:25:31 +0200] rev 19948

minor tuning of definitions/proofs;

wenzelm [Sat, 24 Jun 2006 22:25:30 +0200] rev 19947

fixed translations for _MapUpd: CONST;

nipkow [Fri, 23 Jun 2006 13:42:19 +0200] rev 19946

beautification

haftmann [Fri, 23 Jun 2006 10:48:34 +0200] rev 19945

added webmaster

isabelle