| Thu, 22 Oct 2009 13:45:48 +0200 | Cezary Kaliszyk | The problems with 'abs' term. | file | diff | annotate |
| Thu, 22 Oct 2009 11:43:12 +0200 | Cezary Kaliszyk | Simplified the proof with some tactic... Still hangs sometimes. | file | diff | annotate |
| Thu, 22 Oct 2009 10:45:33 +0200 | Cezary Kaliszyk | More proof | file | diff | annotate |