isabelle: File revisions

src/HOLCF/ex/Pattern_Match.thy

Fri, 26 Nov 2010 15:11:08 -0800	huffman	remove case combinator for fixrec match type	file \| diff \| annotate
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
Fri, 29 Oct 2010 16:51:40 -0700	huffman	renamed lemma cont2cont_Rep_CFun to cont2cont_APP	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
Sat, 16 Oct 2010 16:22:42 -0700	huffman	remove last few dependencies on domain_library.ML and delete it; temporarily disable emptiness check	file \| diff \| annotate
Mon, 20 Sep 2010 16:05:25 +0200	wenzelm	renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;	file \| diff \| annotate
Mon, 24 May 2010 11:29:49 -0700	huffman	move unused pattern match syntax stuff into HOLCF/ex	file \| diff \| annotate

isabelle