[isabelle-dev] Proper implementation of multisets

[René Thiemann]

Dear all,

can someone please upload the attached patch into the repository? It contains
the fix to the nonterminating code-equations for multiset comparisons.

Thanks,
René

-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: application/octet-stream
Size: 6637 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140226/9c8dd833/attachment.obj>