isabelle: Changelog

chaieb [Fri, 24 Apr 2009 19:29:14 +0100] rev 30992

more general statements

Christian Urban <urbanc@in.tum.de> [Mon, 27 Apr 2009 00:29:54 +0200] rev 30991

tuned

Christian Urban <urbanc@in.tum.de> [Sun, 26 Apr 2009 23:16:24 +0200] rev 30990

reorganised the section about fresh_star and added lemma pt_fresh_star_pi

haftmann [Sun, 26 Apr 2009 20:23:09 +0200] rev 30989

reverted slip in theory imports

haftmann [Sun, 26 Apr 2009 08:34:53 +0200] rev 30988

adjusted to changes in power syntax

Christian Urban <urbanc@in.tum.de> [Sun, 26 Apr 2009 00:42:59 +0200] rev 30987

merged

Christian Urban <urbanc@in.tum.de> [Sun, 26 Apr 2009 00:42:49 +0200] rev 30986

deleted thm-attributes "fresh" and "bij" (not used); same features can later be implemented by simpler means

wenzelm [Sat, 25 Apr 2009 23:42:30 +0200] rev 30985

append prefs at end;

wenzelm [Sat, 25 Apr 2009 22:29:13 +0200] rev 30984

merged

Christian Urban <urbanc@in.tum.de> [Sat, 25 Apr 2009 21:42:05 +0200] rev 30983

adapted permutation functions to new overloading syntax (the functions are still "unchecked" because they are used in conjunction with type-classes)

isabelle