isabelle: Changelog

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.

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

Consistently use equality for registration lookup.

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

Cleaner implementation of sublocale command.

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

Reapply mixin patch: base for performance improvements.

huffman [Sun, 23 May 2010 19:30:29 -0700] rev 37100

merged

huffman [Sun, 23 May 2010 19:30:14 -0700] rev 37099

declare a few more cont2cont rules

isabelle