| Sun, 06 Dec 2009 13:41:42 +0100 | Christian Urban | added a theorem list for equivalence theorems | file | diff | annotate |
| Sun, 06 Dec 2009 06:41:52 +0100 | Cezary Kaliszyk | merge | file | diff | annotate |
| Sun, 06 Dec 2009 06:39:32 +0100 | Cezary Kaliszyk | Simpler definition code that works with any type maps. | file | diff | annotate |
| Sun, 06 Dec 2009 01:43:46 +0100 | Christian Urban | added more to IntEx2 | file | diff | annotate |
| Sun, 06 Dec 2009 00:00:47 +0100 | Cezary Kaliszyk | Definitions folded first. | file | diff | annotate |
| Fri, 04 Dec 2009 17:57:03 +0100 | Cezary Kaliszyk | Cleaning the Quotients file | file | diff | annotate |