Mon, 23 Nov 2009 22:00:54 +0100 | Christian Urban | merged | changeset | files |
Mon, 23 Nov 2009 21:59:57 +0100 | Christian Urban | tuned some comments | changeset | files |
Mon, 23 Nov 2009 21:56:30 +0100 | Cezary Kaliszyk | Another not-typechecking regularized term. | changeset | files |
Mon, 23 Nov 2009 21:48:44 +0100 | Cezary Kaliszyk | domain_type in regularizing equality | changeset | files |