isabelle: Changelog

berghofe [Fri, 13 Oct 2006 18:10:16 +0200] rev 21017

Generalized gfp and lfp to arbitrary complete lattices.

berghofe [Fri, 13 Oct 2006 18:08:48 +0200] rev 21016

Repaired strip_assums_hyp (now also works for goals not in hhf normal form).

haftmann [Fri, 13 Oct 2006 16:52:51 +0200] rev 21015

improved framework

haftmann [Fri, 13 Oct 2006 16:52:49 +0200] rev 21014

refined

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

isabelle