isabelle: Changelog

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

huffman [Sat, 22 May 2010 19:17:18 -0700] rev 37098

HOLCF no longer redefines 'consts' command

huffman [Sat, 22 May 2010 18:34:38 -0700] rev 37097

for functions with only variable patterns, fixrec definitions no longer use Fixrec.return/Fixrec.run

huffman [Sat, 22 May 2010 17:57:16 -0700] rev 37096

simplify fixrec continuity tactic

krauss [Sun, 23 May 2010 22:56:45 +0200] rev 37095

used sledgehammer[isar_proof] to replace slow metis call

webertj [Sun, 23 May 2010 17:23:18 +0100] rev 37094

Typo fixed.

webertj [Sun, 23 May 2010 17:22:30 +0100] rev 37093

Typo fixed.

isabelle