[isabelle] Code-equations for multisets

Hello René,

could you explain the results for code comparison from conventional theory a little? Aren't there some undecidable areas? And which results do we have on normal forms and reducability?


------------------- René Thiemann wrote: -----------------

... the current problem is that the code for comparing multisets is non-terminating: ...

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