| Fri, 18 Mar 2016 22:19:46 +0100 | wenzelm | isabelle process -T THEORY; | file | diff | annotate |
| Wed, 16 Mar 2016 22:06:05 +0100 | wenzelm | eliminated without magic name; | file | diff | annotate |
| Wed, 16 Mar 2016 21:14:59 +0100 | wenzelm | clarified name; | file | diff | annotate | base |