[isabelle-dev] Quotient.invariant

Ondřej Kunčar kuncar at in.tum.de
Sat Mar 24 16:29:53 CET 2012


On 03/24/2012 08:16 AM, Florian Haftmann wrote:
> I would strongly vote for qualified access:
>
> 	Quotient.invariant
>
> 9 keys more to type, but very self-explanatory.
>
> 	Florian

The constant is now hidden.

Ondrej



More information about the isabelle-dev mailing list