isabelle: File revisions

src/HOLCF/Library/Stream.thy

Sat, 30 Oct 2010 15:13:11 -0700	huffman	change default_sort of HOLCF from pcpo to bifinite; rename command 'new_domain' to 'domain'; rename 'domain' to 'domain (unsafe)'	file \| diff \| annotate
Fri, 29 Oct 2010 17:15:28 -0700	huffman	renamed {Rep,Abs}_CFun to {Rep,Abs}_cfun	file \| diff \| annotate
Wed, 27 Oct 2010 14:15:54 -0700	huffman	make syntax of continuous if-then-else consistent with HOL if-then-else	file \| diff \| annotate
Sun, 24 Oct 2010 15:42:57 -0700	huffman	rename case combinators generated by domain package to 'foo_case' instead of 'foo_when'	file \| diff \| annotate
Sat, 16 Oct 2010 15:26:30 -0700	huffman	reimplement proof automation for coinduct rules	file \| diff \| annotate
Mon, 11 Oct 2010 21:35:31 -0700	huffman	new theorem names: fun_below_iff, fun_belowI, cfun_eq_iff, cfun_eqI, cfun_below_iff, cfun_belowI	file \| diff \| annotate
Mon, 24 May 2010 12:10:24 -0700	huffman	move Strict_Fun and Stream theories to new HOLCF/Library directory; add HOLCF/Library to search path	file \| diff \| annotate \| base

isabelle