> Indeed, the rule does make sense. Can you quantify how much it helped > when you added it?
Difficult to say. Historically, developments concerning dvd and div are
not very connected so far, but I hope this will change gradually as more
number theory concepts come in.
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 isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
