Hi all, the changeset b67bab2b132c slipped in accidentally into my last push.
Although it is not harming, I would tend to back it out since its
particular application which I had in mind does not work out. (See the
my self-talk on this mailing list concerning algebraic rule collections).
Cheers,
Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
