Matita Home
done
Prev
Chapter 8. Declarative Tactics
Next
done
justification done
Synopsis:
justification
done
Pre-condition:
Action:
It closes the current sequent given the justification.
New sequents to prove:
None.
Matita HomeMatita Home