Am 28.12.2011 um 15:15 schrieb 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.
Yes, those are things I will clean up once I'm back in January. Cf. my 18 August emails on the list. Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
