states/MakeInitial.v


1
2
3
4
5
6

Require Export Prelude.
Require Export Logic_Type.
Require Export Logic_TypeSyntax.
Require Export Equality.
Require Export Tauto.
Require Export Inv.