[isabelle-dev] Proper implementation of multisets

René Thiemann rene.thiemann at uibk.ac.at
Wed Feb 26 13:59:04 CET 2014

Dear all,

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


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

More information about the isabelle-dev mailing list