Attic/Prefix_subtract.thy
2012-12-03 Christian Urban made changes and updates to the journal paper
2011-08-02 urbanc a version of the proof which dispenses with the notion of string-subtraction
less more (0) tip