Test.thy
2014-05-23 Christian Urban added a test theory for polishing teh proofs
less more (0) tip