GitHub - jmaransay/morse

Name		Name	Last commit message	Last commit date
Latest commit History 273 Commits
BDD		BDD
document		document
.BDT.thy.marks		.BDT.thy.marks
.Binary_Decision_Diagrams.thy.marks		.Binary_Decision_Diagrams.thy.marks
.gitignore		.gitignore
Alexander.thy		Alexander.thy
BDD.thy		BDD.thy
BDT.thy		BDT.thy
BDT_ext.thy		BDT_ext.thy
Beads.thy		Beads.thy
Bij_betw_simplicial_complex_bool_func.thy		Bij_betw_simplicial_complex_bool_func.thy
Binary_Decision_Diagrams.thy		Binary_Decision_Diagrams.thy
Binary_Decision_Diagrams_list.thy		Binary_Decision_Diagrams_list.thy
Binary_operations.thy		Binary_operations.thy
Boolean_functions.thy		Boolean_functions.thy
Enum_mod.thy		Enum_mod.thy
Evasive.thy		Evasive.thy
Finite_mod_type.thy		Finite_mod_type.thy
ListLexorder.thy		ListLexorder.thy
MkIfex.thy		MkIfex.thy
Mod_type.thy		Mod_type.thy
Nonevasive.thy		Nonevasive.thy
OrderedCollapsible.thy		OrderedCollapsible.thy
ROOT		ROOT
SMLBDD		SMLBDD
Simple_Hypergraphs.thy		Simple_Hypergraphs.thy
Simplicial_complex.thy		Simplicial_complex.thy