Overview of holzfc Theories at X-Logic.org
Overview
ZFC in HOL(1)
ZFC in HOL(2)
Pure Functions - definitions
up HOME © RBJ