Name		Name	Last commit message	Last commit date
Latest commit History 174 Commits
site_scons/site_tools		site_scons/site_tools
.gitignore		.gitignore
AssociationList.v		AssociationList.v
LICENCE		LICENCE
LibTactics.v		LibTactics.v
Makefile		Makefile
README.md		README.md
SConstruct		SConstruct
UsefulTypes.v		UsefulTypes.v
alphaeq.v		alphaeq.v
bin_rels.v		bin_rels.v
coqidescript.sh		coqidescript.sh
eq_rel.v		eq_rel.v
export.v		export.v
list.v		list.v
substitution.v		substitution.v
tactics.v		tactics.v
terms.v		terms.v
terms2.v		terms2.v
termsDB.v		termsDB.v
universe.v		universe.v
varImplDummyPair.v		varImplDummyPair.v
varImplPeano.v		varImplPeano.v
varImplZ.v		varImplZ.v
varInterface.v		varInterface.v