Summary
- treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis)
- fixed dodgy intro! attributes
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Tools/Meson/meson_tactic.ML (diff) |
The file was modified | src/HOL/Library/More_List.thy (diff) |