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



Hi Clemens,

see now

> http://isabelle.in.tum.de/repos/isabelle/rev/b46fe5138cb0
> https://bitbucket.org/isa-afp/afp-devel/commits/901f6bfc80844443e3f48a912fb1ed7ff7cd6d31

Cheers,
	Florian



Am 18.02.2017 um 17:40 schrieb Florian Haftmann:
> 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.