General.v: add boolean and/or functions
[coq-hetmet.git] / examples / Unify.hs
2011-05-16 Adam MegaczUnify.hs: commenting fix
2011-04-24 Adam Megaczadd Unify.hs to examples