[isabelle-dev] unfold_set_consts

[Makarius]

Due to the re-introduction of 'a set as proper type constructor, change 
4c629115e3ab in src/HOL/Tools/Meson/meson.ML makes unfold_set_const_simps 
vacuous.

A brief inspection suggests that the corresponding "unfold_set_consts" 
configuration option is now also obsolete.


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev