Attic/Prefix_subtract.thy
2011-08-02 urbanc a version of the proof which dispenses with the notion of string-subtraction
less more (0) tip