Paper/Paper.thy
Sun, 20 Feb 2011 08:12:13 +0000 urbanc added pictures for seq-case
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
less more (0) -30 -10 -3 tip