isabelle: Changelog

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)

huffman [Mon, 11 Oct 2010 07:09:42 -0700] rev 39988

merged

huffman [Sat, 09 Oct 2010 07:24:49 -0700] rev 39987

move all bifinite class instances to Bifinite.thy

huffman [Fri, 08 Oct 2010 07:39:50 -0700] rev 39986

rename class 'sfp' to 'bifinite'

huffman [Thu, 07 Oct 2010 13:54:43 -0700] rev 39985

move stuff from Algebraic.thy to Bifinite.thy and elsewhere

huffman [Thu, 07 Oct 2010 13:33:06 -0700] rev 39984

add lemma typedef_ideal_completion

isabelle