theory prover view

Theory tests view 6