Re: [isabelle] Isabelle 2016 RC1: multiset changes



Jasmin Blanchette wrote:
>                      multiset inclusion    multiset ordering
> 2014                    <                     <# â#
> 2015                    â# <# <               #<# #â#
> 2016                    â# <#                 #<# #â#
> 2016-1 (expected)       â# (and <#?)          <

Thanks for the clarification, and also for adding the superset
versions of <# and â# (in ad43b3ab06e4)!

Cheers,

Bertram




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