| Fri, 26 Aug 2011 09:31:56 +0900 | Cezary Kaliszyk | FSet: Explicit proof without mem_def | file | diff | annotate |
| Tue, 16 Aug 2011 07:17:15 +0900 | Cezary Kaliszyk | Quotient Package: make quotient_type work with separate set type | file | diff | annotate |
| Sat, 08 Jan 2011 00:02:11 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Tue, 07 Dec 2010 21:58:36 +0100 | haftmann | merged | file | diff | annotate |
| Tue, 07 Dec 2010 16:33:54 +0100 | haftmann | more concise case names; proved extensionality | file | diff | annotate |
| Tue, 07 Dec 2010 17:23:14 +0100 | wenzelm | eliminated some hard tabulators (deprecated); | file | diff | annotate |