| Thu, 29 Nov 2012 14:05:53 +0100 | wenzelm | more robust syntax that survives collapse of \<^isub> and \<^sub>; | file | diff | annotate |
| Tue, 27 Mar 2012 15:40:11 +0200 | huffman | remove redundant lemma | file | diff | annotate |
| Wed, 07 Sep 2011 16:53:49 +0200 | wenzelm | tuned/simplified proofs; | file | diff | annotate |
| Wed, 07 Sep 2011 16:37:50 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 23 Apr 2011 13:00:19 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Wed, 12 Jan 2011 17:14:27 +0100 | wenzelm | eliminated global prems; | file | diff | annotate |
| Tue, 27 Apr 2010 08:17:39 +0200 | haftmann | canonical import | file | diff | annotate |