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



Hi Clemens,

thanks for reporting this.

I will look after it.

Cheers,
	Florian

Am 18.02.2017 um 17:38 schrieb Clemens Ballarin:
> 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
> 

-- 

PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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