Test.thy
2015-10-04 Christian Urban added one more reference to an incorrect specification
less more (0) -1 tip