src/HOL/HOLCF/Domain.thy
Thu, 15 Mar 2012 22:08:53 +0100 wenzelm declare command keywords via theory header, including strict checking outside Pure;
Thu, 15 Mar 2012 19:02:34 +0100 wenzelm declare minor keywords via theory header;
Tue, 29 Mar 2011 17:47:11 +0200 wenzelm tuned headers;
Wed, 12 Jan 2011 17:19:50 +0100 wenzelm eliminated global prems;
Thu, 06 Jan 2011 17:40:38 -0800 huffman rename constant u_defl to u_liftdefl;
Thu, 06 Jan 2011 16:52:35 -0800 huffman rename constant pdefl to liftdefl_of
Sun, 19 Dec 2010 18:38:50 -0800 huffman rename function cprod_map to prod_map
Sun, 19 Dec 2010 17:37:19 -0800 huffman use deflations over type 'udom u' to represent predomains;
Sun, 19 Dec 2010 09:52:33 -0800 huffman replace foo_approx functions with foo_emb, foo_prj functions for universal domain embeddings
Sun, 19 Dec 2010 06:34:41 -0800 huffman type 'defl' takes a type parameter again (cf. b525988432e9)
Sun, 19 Dec 2010 04:06:02 -0800 huffman renamed Bifinite.thy to Representable.thy
Tue, 30 Nov 2010 15:56:19 -0800 huffman change cpodef-generated cont_Rep rules to cont2cont format
Tue, 30 Nov 2010 14:01:25 -0800 huffman simplify predomain instances
Sat, 27 Nov 2010 16:08:10 -0800 huffman moved directory src/HOLCF to src/HOL/HOLCF;
less more (0) tip