[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?

Jens

------------------- 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.