[PATCH] Redesign of functional specification for obliterate

Attached is a patch to obliterate-functional-spec.txt, that takes an important first step in redesigning the specification to clarify it and hopefully get it closer to "implementability".

I submitted the main addition (a formal definition of the obliteration operation) to the mailing list some days ago, on the following thread:
http://subversion.tigris.org/ds/viewMessage.do?dsForumId=462&dsMessageId=1108134

There were no real objections then, but if there are any I would be more than happy to hear of them.

I would of course also appreciate hearing from any developers who agree with me that these changes are moving the specification in the right direction, since a specification is only useful if people would like to see it implemented.

Best,
Magnus