> So what are the "aesthetic and technical reasons" here? Well, already some time ago I had the impression that there is a fear of keyword number explosion. Personally, I indeed don't care much.
Of course the »global« nature of keywords makes it difficult to do
ad-hoc experimentation with new keywords, one generic slot would
simplify this. Again, this is no pressing issue.
So, the suggestion seems to be to go ahead with new keywords.
Florian
--
Home:
http://www.in.tum.de/~haftmann
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Isabelle-dev mailing list Isabelle-dev@mailbroy.informatik.tu-muenchen.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
