| Thu, 14 Jun 2007 23:04:36 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Fri, 27 Apr 2007 18:50:27 +0200 | urbanc | tuned some proofs in CR and properly included CR_Takahashi | file | diff | annotate |
| Thu, 19 Apr 2007 16:38:59 +0200 | berghofe | nominal_inductive no longer proves equivariance. | file | diff | annotate |
| Wed, 28 Mar 2007 19:16:11 +0200 | berghofe | - Renamed <predicate>_eqvt to <predicate>.eqvt | file | diff | annotate |