Thu, 30 Dec 2010 14:22:05 +0100 Eugen Sawin Fixed some. Added module prefix.
Thu, 30 Dec 2010 02:16:10 +0100 Eugen Sawin Added Pi-approximating automatons.