rename PSL-Path theory in "examples/PSL/path" rename PathTheory -> PSLPathTheory FinitePathTheory -> FinitePSLPathTheory this eliminates the clash of theory names with "src/coalgebras/path"
Hopefully this moves all the right files to the right locations. The desired end result is two directories examples/PSL/1.01 examples/PSL/1.1 containing the two versions of the PSL semantics.