| Wed, 28 Mar 2012 11:46:14 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Fri, 23 Mar 2012 14:34:50 +0100 | kuncar | resolve invariant constant name clash | file | diff | annotate |
| Sat, 14 Jan 2012 13:22:39 +0100 | wenzelm | tuned proofs; | file | diff | annotate |