Tue, 26 Oct 2010 13:01:22 +0000 more experiments
urbanc [Tue, 26 Oct 2010 13:01:22 +0000] rev 14
more experiments
Sun, 24 Oct 2010 01:17:44 +0000 a few more experiments, but no proof for the ALT-case
urbanc [Sun, 24 Oct 2010 01:17:44 +0000] rev 13
a few more experiments, but no proof for the ALT-case
Sat, 23 Oct 2010 12:51:38 +0000 add some proofs about the other direction
wu [Sat, 23 Oct 2010 12:51:38 +0000] rev 12
add some proofs about the other direction 1: the NULL case 2: the EMPTY case 3: the atomic CHAR c case
(0) -10 -3 +3 +10 +30 +100 +300 tip