Wed, 28 Oct 2009 16:16:38 +0100 | Cezary Kaliszyk | Cleaning the unnecessary theorems in 'IntEx'. | changeset | files |
Wed, 28 Oct 2009 16:11:28 +0100 | Cezary Kaliszyk | Fix also in the general procedure. | changeset | files |
Wed, 28 Oct 2009 16:06:19 +0100 | Cezary Kaliszyk | merge | changeset | files |
Wed, 28 Oct 2009 16:05:59 +0100 | Cezary Kaliszyk | Fixes | changeset | files |
Wed, 28 Oct 2009 15:48:38 +0100 | Christian Urban | updated all definitions | changeset | files |
Wed, 28 Oct 2009 15:25:36 +0100 | Christian Urban | merged | changeset | files |