Paper/Paper.thy
Sun, 20 Feb 2011 07:33:54 +0000 urbanc added definition of string prefix and string subtraction
less more (0) -30 -10 -1 tip