| Thu, 21 Jan 2010 11:11:22 +0100 | Cezary Kaliszyk | Automatic cleaning of Bexeq<->Ex1 theorems. | file | diff | annotate |
| Thu, 21 Jan 2010 10:55:09 +0100 | Cezary Kaliszyk | Using Bexeq_rsp, and manually lifted lemma with Ex1. | file | diff | annotate |
| Thu, 21 Jan 2010 09:55:05 +0100 | Cezary Kaliszyk | Bexeq definition, Ex1_prs lemma, Bex1_rsp lemma, compiles. | file | diff | annotate |
| Thu, 14 Jan 2010 15:25:24 +0100 | Cezary Kaliszyk | Simplified matches_typ. | file | diff | annotate |
| Wed, 13 Jan 2010 13:12:04 +0100 | Cezary Kaliszyk | Removed the 'oops' in IntEx. | file | diff | annotate |
| Wed, 13 Jan 2010 00:46:31 +0100 | Christian Urban | tuned | file | diff | annotate |
| Wed, 13 Jan 2010 00:45:28 +0100 | Christian Urban | absrep_fun and equiv_relation do not produce anymore spurious maps; two problems arose in IntEx, which are marked with "INJECTION PROBLEM" | file | diff | annotate |
| Mon, 11 Jan 2010 11:51:19 +0100 | Cezary Kaliszyk | Fix for testing matching constants in regularize. | file | diff | annotate |