[isabelle] Standardized notation <# -> \<subset>#



Hi Florian,

This change went a little bit too far:

changeset:   64587:8355a6e2df79
user:        haftmann
date:        Sat Dec 17 15:22:13 2016 +0100
summary:     standardized notation

I think this was intended to improve the notation of multisets.  In HOL-Algebra, <#, #> and <#> are used to denote cosets.  <#  and <#> were accidentally replaced by \<subset># and \<subset>#>.  Could you please fix that?

Thanks

Clemens





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