| 2010-04-26 | Cezary Kaliszyk | merge ??? | file | diff | annotate |
| 2010-04-21 | Cezary Kaliszyk | infix for In | file | diff | annotate |
| 2010-04-23 | Cezary Kaliszyk | Further cleaning of proofs in FSet | file | diff | annotate |
| 2010-04-22 | Cezary Kaliszyk | Converted 'thm' to a lemma. | file | diff | annotate |
| 2010-04-22 | Cezary Kaliszyk | Moved working Fset3 properties to FSet. | file | diff | annotate |
| 2010-04-21 | Cezary Kaliszyk | append_rsp2 + isarification | file | diff | annotate |
| 2010-04-21 | Christian Urban | merged | file | diff | annotate |