| Fri, 02 Aug 2013 23:03:59 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Fri, 27 Jul 2012 19:57:23 +0200 | wenzelm | tuned proofs -- avoid odd situations of polymorphic Frees in goal state; | file | diff | annotate |
| Sun, 15 Jan 2012 18:55:27 +0100 | wenzelm | tuned proofs; | file | diff | annotate |