| Thu, 28 Apr 2016 09:43:11 +0200 | wenzelm | support 'assumes' in specifications, e.g. 'definition', 'inductive'; | file | diff | annotate |
| Thu, 07 Apr 2016 17:56:26 +0200 | traytel | (un)folds are not legacy | file | diff | annotate |
| Tue, 05 Apr 2016 09:54:17 +0200 | traytel | single uniqueness theorems for map, (un)fold, (co)rec for mutual (co)datatypes | file | diff | annotate |
| Tue, 29 Mar 2016 19:17:05 +0200 | blanchet | tuning | file | diff | annotate |
| Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | avoid 'prove_sorry' for unreliable tactics | file | diff | annotate |
| Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | tuning | file | diff | annotate |
| Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | added '_legacy' suffixes | file | diff | annotate |
| Wed, 23 Mar 2016 16:37:13 +0100 | blanchet | sorted out type issue with sort constraints | file | diff | annotate |
| Tue, 22 Mar 2016 12:39:37 +0100 | blanchet | moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle | file | diff | annotate |