| Mon, 01 Feb 2010 09:04:22 +0100 | Christian Urban | fixed problem with Bex1_rel renaming | file | diff | annotate |
| Thu, 21 Jan 2010 12:03:47 +0100 | Cezary Kaliszyk | Automatic injection of Bexeq | file | diff | annotate |
| 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 |