Project Page
Index
Table of Contents
Mcltt.Core.Syntactic.ExpNoConfusion
For some reason, fitting this file in Syntax.v breaks menhir... Who knows?
From
Equations
Require
Import
Equations
.
From
Mcltt
Require
Import
Syntax
.
Derive
NoConfusion
for
exp
sub
.