SetIIInit

Set level inductive-inductive initiality

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
.dir-locals.el		.dir-locals.el
.gitignore		.gitignore
ForsbergConstruction.txt		ForsbergConstruction.txt
ForsbergSemExamples.v		ForsbergSemExamples.v
ForsbergSemantics.v		ForsbergSemantics.v
IISpecs.v		IISpecs.v
IIspecs.tex		IIspecs.tex
IIspecs.txt		IIspecs.txt
InductiveExamples.v		InductiveExamples.v
InductiveTypes.v		InductiveTypes.v
Makefile		Makefile
Par.v		Par.v
README.md		README.md
_CoqProject		_CoqProject
plan.txt		plan.txt

Provide feedback