Library Mtac2Tests.mode
Require
Import
Mtac2.Mtac2
.
Goal
True
.
MProof
.
Abort
.
Goal
True
.
MProof
.
Abort
.