| Wed, 30 Nov 2005 14:27:09 +0100 | urbanc | adapted to the new nominal_induction | file | diff | annotate |
| Mon, 28 Nov 2005 05:03:00 +0100 | urbanc | some small tuning | file | diff | annotate |
| Mon, 07 Nov 2005 15:12:13 +0100 | urbanc | Initial commit of the theory "Weakening". | file | diff | annotate |