isabelle: File revisions

src/HOLCF/ex/Domain_Proofs.thy

Tue, 13 Apr 2010 11:04:27 -0700	huffman	bring HOLCF/ex/Domain_Proofs.thy up to date	file \| diff \| annotate
Mon, 01 Mar 2010 23:54:50 -0800	huffman	need to explicitly include REP_convex	file \| diff \| annotate
Thu, 19 Nov 2009 16:47:18 -0800	huffman	fix definitions of copy combinators	file \| diff \| annotate
Thu, 19 Nov 2009 10:26:53 -0800	huffman	change example to use recursion with continuous function space	file \| diff \| annotate
Thu, 19 Nov 2009 08:22:00 -0800	huffman	change naming convention for deflation combinators	file \| diff \| annotate
Thu, 19 Nov 2009 07:09:04 -0800	huffman	avoid using csplit; define copy functions exactly like the current domain package	file \| diff \| annotate
Wed, 18 Nov 2009 16:57:58 -0800	huffman	remove one_typ and tr_typ; add abs/rep lemmas	file \| diff \| annotate
Fri, 13 Nov 2009 15:31:20 -0800	huffman	automate definition of representable domains from algebraic deflations	file \| diff \| annotate
Tue, 10 Nov 2009 06:47:55 -0800	huffman	HOLCF example: domain package proofs done manually	file \| diff \| annotate

isabelle