Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
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 |