Sat, 22 May 2010 18:34:38 -0700 | huffman | for functions with only variable patterns, fixrec definitions no longer use Fixrec.return/Fixrec.run | changeset | files |
Sat, 22 May 2010 17:57:16 -0700 | huffman | simplify fixrec continuity tactic | changeset | files |
Sun, 23 May 2010 22:56:45 +0200 | krauss | used sledgehammer[isar_proof] to replace slow metis call | changeset | files |
Sun, 23 May 2010 17:23:18 +0100 | webertj | Typo fixed. | changeset | files |
Sun, 23 May 2010 17:22:30 +0100 | webertj | Typo fixed. | changeset | files |
Sun, 23 May 2010 14:56:58 +0100 | webertj | Minor proof tuning. | changeset | files |