isabelle: Changelog

webertj [Mon, 24 May 2010 21:19:25 +0100] rev 37113

merged

webertj [Mon, 24 May 2010 21:18:22 +0100] rev 37112

Typo fixed.

huffman [Mon, 24 May 2010 12:42:17 -0700] rev 37111

move HOLCF/Sum_Cpo.thy to HOLCF/Library

huffman [Mon, 24 May 2010 12:10:24 -0700] rev 37110

move Strict_Fun and Stream theories to new HOLCF/Library directory; add HOLCF/Library to search path

huffman [Mon, 24 May 2010 11:29:49 -0700] rev 37109

move unused pattern match syntax stuff into HOLCF/ex

huffman [Mon, 24 May 2010 09:32:52 -0700] rev 37108

rename type 'a maybe to 'a match; rename Fixrec.return to Fixrec.succeed

haftmann [Mon, 24 May 2010 13:48:57 +0200] rev 37107

more lemmas

haftmann [Mon, 24 May 2010 13:48:56 +0200] rev 37106

induction and case rules

ballarin [Mon, 24 May 2010 10:48:32 +0200] rev 37105

Store registrations in efficient data structure.

ballarin [Mon, 24 May 2010 10:48:32 +0200] rev 37104

Avoid recomputation of registration instance for lookup.

isabelle