| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Fri, 23 Feb 2018 19:25:37 +0100 | wenzelm | added HOLogic.mk_obj_eq convenience and eliminated some clones; | file | diff | annotate |
| Mon, 24 Oct 2016 16:53:32 +0200 | traytel | additional user-specified simp (naturality) rules used in friend_of_corec | file | diff | annotate |
| Mon, 12 Sep 2016 19:22:37 +0200 | blanchet | moved ML function | file | diff | annotate |
| 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 |