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 |