Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Mon, 24 Oct 2016 16:53:32 +0200 | traytel | apply transfer_prover after folding relator_eq | file | diff | annotate |
Fri, 27 May 2016 20:23:55 +0200 | wenzelm | tuned proofs, to allow unfold_abs_def; | file | diff | annotate |
Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | tuning | 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 |