Documentation

Foundation.Propositional.Classical.Basic