Re: [isabelle] s/h: bogus proofs from e

I wrote the meson tactic in the 1990s, well before Isar even existed. I don't know who wrote the corresponding method.

On 5 Nov 2021, 09:42 +0000, Tobias Nipkow <nipkow at>, wrote:

Somewhat belatedly: Why does meson ignore "using"? Shouldn't it take it into
account like metis, simp etc? Does anybody feel responsible for meson?

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.