Legacy-2/coq/defs.mma Legacy-2/preamble.ma Legacy-1/coq/defs.ma
Legacy-2/coq/props.mma Legacy-2/preamble.ma Legacy-1/coq/props.ma