SHARE
TWEET

Untitled

a guest Jun 15th, 2019 58 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. (* RelationClasses, actually defined in Relation_Definitions *)
  2. Definition relation (A : Type) := A -> A -> Prop.
  3.  
  4. (* CRelationClasses *)
  5. Definition crelation (A : Type) := A -> A -> Type.
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top