| 2009-10-23 | Christian Urban | fixed problem with incorrect ABS/REP name | file | diff | annotate |
| 2009-10-23 | Cezary Kaliszyk | Stronger tactic, simpler proof. | file | diff | annotate |
| 2009-10-23 | Cezary Kaliszyk | Split Finite Set example into separate file | file | diff | annotate |