| Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | tuning | file | diff | annotate |
| Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | strengthened tactic | 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 |