Vct.Mcnf
MCNF definitions and lemmas are split into 3 files for organisation.
From Vct.Mcnf Require Export Mcnf Conversion Simplification.
Include Mcnf.
Include Conversion.
Include Simplification.
From Vct.Mcnf Require Export Mcnf Conversion Simplification.
Include Mcnf.
Include Conversion.
Include Simplification.