| Sun, 17 Oct 2010 15:28:05 +0100 | Christian Urban | some tuning | file | diff | annotate |
| Sun, 17 Oct 2010 13:35:52 +0100 | Christian Urban | naming scheme is now *_fset (not f*_) | file | diff | annotate |
| Fri, 15 Oct 2010 23:45:54 +0100 | Christian Urban | more cleaning | file | diff | annotate |
| Fri, 15 Oct 2010 17:37:44 +0100 | Christian Urban | further tuning | file | diff | annotate |
| Fri, 15 Oct 2010 16:01:03 +0100 | Christian Urban | renamed fminus_raw to diff_list | file | diff | annotate |
| Fri, 15 Oct 2010 15:58:48 +0100 | Christian Urban | renamed fcard_raw to card_list | file | diff | annotate |
| Fri, 15 Oct 2010 15:47:20 +0100 | Christian Urban | Further reorganisation and cleaning | file | diff | annotate |
| Fri, 15 Oct 2010 14:11:23 +0100 | Christian Urban | further cleaning | file | diff | annotate |
| Fri, 15 Oct 2010 13:28:39 +0100 | Christian Urban | typo | file | diff | annotate |
| Fri, 15 Oct 2010 16:32:34 +0900 | Cezary Kaliszyk | FSet: stronger fact in Isabelle. | file | diff | annotate |
| Fri, 15 Oct 2010 16:23:26 +0900 | Cezary Kaliszyk | FSet synchronizing | file | diff | annotate |
| Fri, 15 Oct 2010 15:52:40 +0900 | Cezary Kaliszyk | Synchronizing FSet further. | file | diff | annotate |
| Fri, 15 Oct 2010 15:24:19 +0900 | Cezary Kaliszyk | Partially merging changes from Isabelle | file | diff | annotate |
| Thu, 14 Oct 2010 11:09:52 +0100 | Christian Urban | deleted some unused lemmas | file | diff | annotate |
| Thu, 14 Oct 2010 04:14:22 +0100 | Christian Urban | major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw) | file | diff | annotate |
| Sat, 18 Sep 2010 06:09:43 +0800 | Christian Urban | updated to Isabelle Sept 16 | file | diff | annotate |
| Thu, 22 Jul 2010 08:30:50 +0200 | Christian Urban | updated to new Isabelle; made FSet more "quiet" | file | diff | annotate |
| Mon, 19 Jul 2010 07:49:10 +0100 | Christian Urban | minor | file | diff | annotate |
| Sun, 18 Jul 2010 19:07:05 +0100 | Christian Urban | minor things on the paper | file | diff | annotate |
| Sun, 18 Jul 2010 16:06:34 +0100 | Christian Urban | some test with quotient | file | diff | annotate |
| Wed, 23 Jun 2010 15:40:00 +0100 | Christian Urban | merged cezary's changes | file | diff | annotate |
| Wed, 23 Jun 2010 08:49:33 +0200 | Cezary Kaliszyk | merge | file | diff | annotate |
| Wed, 23 Jun 2010 08:48:38 +0200 | Cezary Kaliszyk | Changes for PER and list_all2 committed to Isabelle | file | diff | annotate |
| Tue, 22 Jun 2010 13:31:42 +0100 | Christian Urban | cleaned up the FSet (noise was introduced by error) | file | diff | annotate |
| Mon, 21 Jun 2010 00:36:17 +0100 | Christian Urban | eliminated a quot_thm flag | file | diff | annotate |
| Wed, 16 Jun 2010 22:29:42 +0100 | Christian Urban | conclusion done | file | diff | annotate |
| Tue, 15 Jun 2010 09:12:54 +0200 | Cezary Kaliszyk | Qpaper / Clarify the typing system and composition of quotients issue. | file | diff | annotate |
| Mon, 14 Jun 2010 14:45:40 +0200 | Cezary Kaliszyk | merge | file | diff | annotate |
| Mon, 14 Jun 2010 14:44:18 +0200 | Cezary Kaliszyk | qpaper/unfold the ball_reg_right statement | file | diff | annotate |
| Mon, 14 Jun 2010 11:51:34 +0200 | Christian Urban | some tuning and start work on section 4 | file | diff | annotate |