[isabelle] HOLCF equality



Dear all,

is there already something like Haskell's "Eq" typeclass for HOLCF (which seems to be neccessariy/convenient to formalize typical Haskell functions). If not, are there any other reasons than lack of time?

cheers

chris





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.