| Sun, 11 Apr 2010 22:48:49 +0200 | Christian Urban | fixed bug in thmdecls with destructing Trueprop; some initial infrastructure for eqvt-theorems of the form _ ==> _ | file | diff | annotate |
| Sun, 11 Apr 2010 18:11:13 +0200 | Christian Urban | a few tests | file | diff | annotate |