| Sat, 24 Oct 2009 13:00:54 +0200 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | file | diff | annotate |
| Sat, 24 Oct 2009 10:16:53 +0200 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | file | diff | annotate |
| Sat, 24 Oct 2009 08:24:26 +0200 | cek | Cleaning the mess | file | diff | annotate |
| Sat, 24 Oct 2009 08:09:40 +0200 | cek | Merge | file | diff | annotate |
| Sat, 24 Oct 2009 08:09:09 +0200 | cek | Better tactic and simplified the proof further | file | diff | annotate |
| Sat, 24 Oct 2009 01:33:29 +0200 | Christian Urban | fixed problem with incorrect ABS/REP name | file | diff | annotate |
| Fri, 23 Oct 2009 18:20:06 +0200 | Cezary Kaliszyk | Stronger tactic, simpler proof. | file | diff | annotate |
| Fri, 23 Oct 2009 16:34:20 +0200 | Cezary Kaliszyk | Split Finite Set example into separate file | file | diff | annotate |