Module cool

A very cool axiom

Axiom cool : (P:Prop)P.

Tactic Definition Skip := Apply cool.

Index
This page has been generated by coqdoc