| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Wed, 29 Oct 2014 11:33:29 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Thu, 21 Nov 2013 21:33:34 +0100 | blanchet | rationalize imports | file | diff | annotate |
| Wed, 20 Nov 2013 20:45:20 +0100 | blanchet | moved 'coinduction' proof method to 'HOL' | file | diff | annotate | base |