| Thu, 27 May 2010 14:30:07 +0200 | Cezary Kaliszyk | qpaper / a bit about prs | file | diff | annotate |
| Wed, 26 May 2010 16:56:38 +0200 | Cezary Kaliszyk | qpaper | file | diff | annotate |
| Wed, 26 May 2010 16:09:09 +0200 | Cezary Kaliszyk | Name some respectfullness | file | diff | annotate |
| Mon, 10 May 2010 10:22:57 +0200 | Cezary Kaliszyk | Synchronize FSet with repository | file | diff | annotate |
| Mon, 26 Apr 2010 10:01:13 +0200 | Cezary Kaliszyk | merge ??? | file | diff | annotate |
| Wed, 21 Apr 2010 12:25:52 +0200 | Cezary Kaliszyk | infix for In | file | diff | annotate |
| Fri, 23 Apr 2010 09:54:42 +0200 | Cezary Kaliszyk | Further cleaning of proofs in FSet | file | diff | annotate |
| Thu, 22 Apr 2010 12:42:15 +0200 | Cezary Kaliszyk | Converted 'thm' to a lemma. | file | diff | annotate |
| Thu, 22 Apr 2010 12:33:51 +0200 | Cezary Kaliszyk | Moved working Fset3 properties to FSet. | file | diff | annotate |
| Wed, 21 Apr 2010 19:10:55 +0200 | Cezary Kaliszyk | append_rsp2 + isarification | file | diff | annotate |
| Wed, 21 Apr 2010 10:09:07 +0200 | Christian Urban | merged | file | diff | annotate |
| Wed, 21 Apr 2010 10:08:47 +0200 | Christian Urban | removed a sorry | file | diff | annotate |
| Wed, 21 Apr 2010 09:48:35 +0200 | Cezary Kaliszyk | Reorder FSet | file | diff | annotate |
| Wed, 21 Apr 2010 09:13:32 +0200 | Cezary Kaliszyk | lattice properties. | file | diff | annotate |
| Tue, 20 Apr 2010 15:59:57 +0200 | Cezary Kaliszyk | fsets are distributive lattices. | file | diff | annotate |