Fri, 09 Aug 2019 17:14:49 +0200 | wenzelm | formal position for PThm nodes; | file | diff | annotate |
Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Fri, 30 Dec 2016 15:40:35 +0100 | blanchet | more uniform errors in '(prim)(co)rec(ursive)' variants | file | diff | annotate |
Wed, 21 Dec 2016 12:49:15 +0100 | blanchet | generalized ML function (towards nonuniform datatypes) | file | diff | annotate |
Wed, 14 Dec 2016 09:19:49 +0100 | blanchet | robustness | 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 |