Mon, 06 May 2013 02:48:18 +0200 | nipkow | tail recursive version of map, for code generation, optionally | changeset | files |
Mon, 06 May 2013 00:25:04 +0200 | nipkow | simplified proofs | changeset | files |
Fri, 03 May 2013 10:27:24 +0200 | blanchet | tuning | changeset | files |
Fri, 03 May 2013 10:26:34 +0200 | blanchet | pass certain readability-enhancing Vampire options only when an Isar proof is needed | changeset | files |
Fri, 03 May 2013 05:25:14 +0200 | nipkow | added lemma | changeset | files |
Fri, 03 May 2013 02:52:25 +0200 | nipkow | added lemma | changeset | files |
Thu, 02 May 2013 21:04:50 +0200 | blanchet | renamings | changeset | files |