Wed, 10 Feb 2010 17:10:52 +0100 Cezary Kaliszyk hg-added the added file.
Wed, 10 Feb 2010 17:02:29 +0100 Cezary Kaliszyk Changes from Makarius's code review + some noticed fixes.
Wed, 10 Feb 2010 12:30:26 +0100 Cezary Kaliszyk example with a respectful bn function defined over the type itself
Wed, 10 Feb 2010 11:53:15 +0100 Cezary Kaliszyk Finishe the renaming.
Wed, 10 Feb 2010 11:39:22 +0100 Cezary Kaliszyk Another mistake found with OTT.
Wed, 10 Feb 2010 11:31:53 +0100 Cezary Kaliszyk merge
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip