Fri, 19 Apr 2013 00:10:52 +0100 Christian Urban updated to simplifier changes
Mon, 01 Apr 2013 23:22:53 +0100 Christian Urban added example for locales (by Tjark Weber)
Wed, 27 Mar 2013 17:23:00 +0000 Christian Urban tuned
Wed, 27 Mar 2013 16:09:46 +0100 webertj Fixed proofs to work with 13ab4f0a0b0e.
(0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 tip