Wed, 24 Feb 2010 17:42:37 +0100 | Cezary Kaliszyk | Define lifted perms. | file | diff | annotate |
Wed, 24 Feb 2010 15:39:17 +0100 | Cezary Kaliszyk | With permute_rsp we can lift the instance proofs :). | file | diff | annotate |
Wed, 24 Feb 2010 14:37:51 +0100 | Cezary Kaliszyk | Regularize finite support proof for trm1 | file | diff | annotate |