isabelle: Changelog

haftmann [Fri, 13 Oct 2006 16:52:48 +0200] rev 21013

fixed bug

haftmann [Fri, 13 Oct 2006 16:52:47 +0200] rev 21012

tuned

haftmann [Fri, 13 Oct 2006 16:52:46 +0200] rev 21011

added codegen2 example

urbanc [Fri, 13 Oct 2006 15:01:34 +0200] rev 21010

added the missing freshness-lemmas for nat, int, char and string and also the lemma for permutation acting on if's

haftmann [Fri, 13 Oct 2006 12:32:44 +0200] rev 21009

lifted claset setup from ML to Isar level

haftmann [Fri, 13 Oct 2006 09:02:21 +0200] rev 21008

explicit nonfix for union and inter

wenzelm [Thu, 12 Oct 2006 22:57:45 +0200] rev 21007

renamed enter_forward_proof to enter_proof_body; renamed exit_local_theory to end_local_theory; added local_theory_to_proof; tuned;

wenzelm [Thu, 12 Oct 2006 22:57:42 +0200] rev 21006

added peek;

wenzelm [Thu, 12 Oct 2006 22:57:38 +0200] rev 21005

interpretation_in_locale: standalone goal setup; moved theorem statements to bottom;

wenzelm [Thu, 12 Oct 2006 22:57:35 +0200] rev 21004

tuned;

isabelle