Sun, 20 Feb 2011 07:33:54 +0000 urbanc added definition of string prefix and string subtraction
Sun, 20 Feb 2011 06:02:58 +0000 urbanc polished everywhere...two cases still missing
Sat, 19 Feb 2011 22:05:22 +0000 urbanc my latest version (SEQ and STAR still missing)
Sat, 19 Feb 2011 21:49:11 +0000 urbanc added directory with the small files and numbers of lines
Sat, 19 Feb 2011 20:15:59 +0000 urbanc ALT case done
Sat, 19 Feb 2011 19:27:33 +0000 urbanc first two proofs in 2 direction
Sat, 19 Feb 2011 17:10:46 +0000 urbanc first proof
Sat, 19 Feb 2011 12:01:16 +0000 urbanc updated second direction
(0) -100 -30 -10 -8 +8 +10 +30 +100 tip