| Fri, 03 Aug 2012 14:46:25 +0200 | webertj | command_spec antiquotation. | file | diff | annotate |
| Tue, 20 Mar 2012 11:26:10 +0000 | Christian Urban | updated to new Isabelle (20 March) | file | diff | annotate |
| Sat, 17 Dec 2011 16:57:25 +0000 | Christian Urban | backported no_eqvt changeset 1afcbaf4242b | file | diff | annotate |
| Sun, 27 Nov 2011 17:15:05 +0000 | Christian Urban | termination does not automatically prove equivariance for the defined function (label: no_eqvt) | file | diff | annotate |