| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Fri, 07 Mar 2014 01:02:21 +0100 | blanchet | balance tuples that represent curried functions | file | diff | annotate |
| Wed, 19 Feb 2014 10:21:02 +0100 | traytel | removed not anymore used constants and theorems | file | diff | annotate |
| Wed, 12 Feb 2014 08:37:06 +0100 | blanchet | adapted to 'xxx_{case,rec}' renaming, to new theorem names, and to new variable names in theorems | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | renamed 'nat_{case,rec}' to '{case,rec}_nat' | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | adapted theories to '{case,rec}_{list,option}' names | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | adjusted comments | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | avoid nested 'Tools' directories | file | diff | annotate | base |