fix bug in flattener, make extensionality axiom explicit
[coq-hetmet.git] / examples / Unify.dump-coqpass
2011-05-10 Adam Megaczstart using type-family-based GArrow classes