Fix "assumptions before steps" in subproof
-
Clarify in document that it's not allowed to issue an (assume...)
command after a the first(step..)
at the beginning of the proof or after an(anchor...)
. -
Make sure veriT follows this rule (it doesn't currently)
Edited by Hans-Jörg