isabelle: Changelog

paulson [Fri, 15 Oct 2010 17:21:37 +0100] rev 39998

merged

paulson [Fri, 15 Oct 2010 17:21:07 +0100] rev 39997

prevention of self-referential type environments

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 21:50:26 +0900] rev 39996

FSet: definition changes propagated from Nominal and more use of 'descending' tactic

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 21:47:45 +0900] rev 39995

FSet tuned

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 21:46:45 +0900] rev 39994

FSet: give names to respectfulness theorems, rename list_all2_refl to avoid clash

krauss [Thu, 14 Oct 2010 12:40:14 +0200] rev 39993

NEWS

krauss [Sun, 10 Oct 2010 22:50:25 +0200] rev 39992

removed output syntax "'a ~=> 'b" for "'a => 'b option"

krauss [Wed, 13 Oct 2010 09:56:00 +0200] rev 39991

reactivated

krauss [Tue, 12 Oct 2010 21:30:44 +0200] rev 39990

slightly more robust proof

huffman [Mon, 11 Oct 2010 08:32:09 -0700] rev 39989

renamed type and constant 'sfp' to 'defl'; replaced syntax SFP('a) with DEFL('a)

isabelle