| Thu, 14 Mar 2019 16:55:06 +0100 | wenzelm | more specific keyword kinds; | file | diff | annotate |
| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | 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, 24 Oct 2016 16:53:32 +0200 | traytel | apply transfer_prover after folding relator_eq | file | diff | annotate |
| Wed, 23 Mar 2016 16:37:19 +0100 | blanchet | proper sectioning | 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 |