On Wed, 27 Mar 2013, Makarius wrote:
Note that we have one more aspect in the back-end that could help here: the 'private' modifier.
The "back-end" above should be read as "back-hand", although these are homophones for Frenchmen.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
