| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Fri, 26 Sep 2014 09:58:35 +0200 | desharna | make 'case_transfer' tactic more robust | file | diff | annotate |
| Mon, 22 Sep 2014 15:01:27 +0200 | desharna | make 'set_induct0' tactic more robust w.r.t multiple arguments constructors | file | diff | annotate |
| Sat, 13 Sep 2014 18:08:38 +0200 | blanchet | imported patch phantoms | file | diff | annotate |
| Thu, 11 Sep 2014 19:26:59 +0200 | blanchet | renamed 'BNF_Examples' to 'Datatype_Examples' (cf. 'datatypes.pdf') | file | diff | annotate | base |