| Thu, 29 Oct 2009 08:06:49 +0100 | Cezary Kaliszyk | Fixed wrong CARD definition and removed the "Does not work anymore" comment. | file | diff | annotate |
| Thu, 29 Oct 2009 07:29:12 +0100 | Christian Urban | merged | file | diff | annotate |
| Wed, 28 Oct 2009 20:01:20 +0100 | Christian Urban | updated some definitions; had to give sometimes different names; somewhere I introduced a bug, since not everything is working anymore (needs fixing!) | file | diff | annotate |
| Wed, 28 Oct 2009 18:08:38 +0100 | Cezary Kaliszyk | disambiguate ===> syntax | file | diff | annotate |
| Wed, 28 Oct 2009 17:17:21 +0100 | Cezary Kaliszyk | cleaned FSet | file | diff | annotate |
| Wed, 28 Oct 2009 16:48:57 +0100 | Cezary Kaliszyk | Some cleaning | file | diff | annotate |
| Wed, 28 Oct 2009 16:05:59 +0100 | Cezary Kaliszyk | Fixes | file | diff | annotate |
| Wed, 28 Oct 2009 15:25:36 +0100 | Christian Urban | merged | file | diff | annotate |
| Wed, 28 Oct 2009 15:25:11 +0100 | Christian Urban | added infrastructure for defining lifted constants | file | diff | annotate |
| Wed, 28 Oct 2009 12:22:06 +0100 | Cezary Kaliszyk | Fixed mistake in const generation, will postpone this. | file | diff | annotate |
| Wed, 28 Oct 2009 10:29:00 +0100 | Cezary Kaliszyk | More finshed proofs and cleaning | file | diff | annotate |
| Wed, 28 Oct 2009 10:17:07 +0100 | Cezary Kaliszyk | Proof of append_rsp | file | diff | annotate |
| Wed, 28 Oct 2009 01:49:31 +0100 | Christian Urban | merged | file | diff | annotate |
| Wed, 28 Oct 2009 01:48:45 +0100 | Christian Urban | added a function for matching types | file | diff | annotate |
| Tue, 27 Oct 2009 18:05:45 +0100 | Cezary Kaliszyk | Manual conversion of equality to equivalence allows lifting append_assoc. | file | diff | annotate |