Mon, 04 Apr 2016 22:55:50 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Tue, 29 Mar 2016 18:32:08 +0200 | blanchet | try tactics in right order w.r.t. schematics | 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 | 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 |