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 |