| Thu, 08 Aug 2013 18:13:12 +0200 | kleing | avoid re-inventing transitive closure | changeset | files |
| Thu, 08 Aug 2013 16:38:50 +0200 | traytel | merged | changeset | files |
| Thu, 08 Aug 2013 16:38:28 +0200 | traytel | theorems relating {c,d}tor_(un)fold/(co)rec and {c,d}tor_map | changeset | files |
| Thu, 08 Aug 2013 15:30:25 +0200 | traytel | tuned | changeset | files |
| Thu, 08 Aug 2013 14:48:19 +0200 | traytel | tuned tactic; | changeset | files |
| Thu, 08 Aug 2013 16:10:05 +0200 | Andreas Lochbihler | abort execution of generated code with explicit exception message | changeset | files |
| Thu, 08 Aug 2013 14:55:01 +0200 | wenzelm | merged | changeset | files |
| Thu, 08 Aug 2013 14:24:21 +0200 | wenzelm | dockable window for Sledgehammer, based on asynchronous/parallel query operation; | changeset | files |
| Thu, 08 Aug 2013 14:13:04 +0200 | wenzelm | tuned imports; | changeset | files |
| Thu, 08 Aug 2013 14:47:24 +0200 | kleing | snippet for instr type | changeset | files |
| Thu, 08 Aug 2013 12:01:02 +0200 | traytel | filter function on streams | changeset | files |
| Thu, 08 Aug 2013 12:00:45 +0200 | traytel | tuned | changeset | files |
| Wed, 07 Aug 2013 23:20:11 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 07 Aug 2013 21:16:20 +0200 | wenzelm | tuned proofs; | changeset | files |