> In such cases, the general question is if making the sources "canonical" > has any purpose. It is rather old material by Stefan Berghofer, written > in the typical style from around 2000, and not going to be revisited in > the foreseeable future.
It is, as part of the story Spec_Rules vs. code default attribute.
Florian
--
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 [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
