Wed, 22 Jun 2011 12:18:22 +0100 Christian Urban some rudimentary infrastructure for storing data about nominal datatypes
Wed, 22 Jun 2011 17:57:15 +0900 Cezary Kaliszyk constants with the same names
Wed, 22 Jun 2011 04:49:56 +0900 Cezary Kaliszyk Quotients/TODO addtion
Tue, 21 Jun 2011 23:59:36 +0900 Cezary Kaliszyk Minor
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip