| Mon, 02 Nov 2009 15:38:03 +0100 | Cezary Kaliszyk | Fixes after optimization and preparing for a general FORALL_PRS | file | diff | annotate |
| Fri, 30 Oct 2009 11:25:29 +0100 | Cezary Kaliszyk | Cleaning of the interface to lift. | file | diff | annotate |
| Wed, 28 Oct 2009 18:08:38 +0100 | Cezary Kaliszyk | disambiguate ===> syntax | file | diff | annotate |
| Wed, 28 Oct 2009 16:16:38 +0100 | Cezary Kaliszyk | Cleaning the unnecessary theorems in 'IntEx'. | file | diff | annotate |
| Wed, 28 Oct 2009 16:06:19 +0100 | Cezary Kaliszyk | merge | file | diff | annotate |
| Wed, 28 Oct 2009 16:05:59 +0100 | Cezary Kaliszyk | Fixes | file | diff | annotate |
| Wed, 28 Oct 2009 15:48:38 +0100 | Christian Urban | updated all definitions | file | diff | annotate |