Coq's sumor Type

Sat, 10 Dec 2011 12:46:27 -0500

Trying to use the sumor type, (Coq development) …