| 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 |