| Tue, 19 Oct 2010 15:13:35 +0100 | Christian Urban | tuned | changeset | files |
| Tue, 19 Oct 2010 12:26:38 +0200 | bulwahn | added some facts about factorial and dvd, div and mod | changeset | files |
| Tue, 19 Oct 2010 12:26:37 +0200 | bulwahn | removing something that probably slipped into the Quotient_List theory | changeset | files |
| Tue, 19 Oct 2010 11:44:42 +0900 | Cezary Kaliszyk | Quotient package: partial equivalence introduction | changeset | files |
| Mon, 18 Oct 2010 14:25:15 +0100 | Christian Urban | reorganisation of the FSet theory (changed the primary naming scheme of constants and theorems to *_fset) | changeset | files |
| Sat, 16 Oct 2010 17:10:23 -0700 | huffman | remove dead code | changeset | files |