Professional Documents
Culture Documents
2[Next]hlampara, botonesi
∆
Spec = Init ∧
theorem Spec ⇒ 2TypeInv
\ * Modification History
\ * Last modified Wed Dec 11 02:39:11 ART 2019 by damian
\ * Created Wed Dec 11 00:53:09 ART 2019 by damian