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.

Larry
On 5 Nov 2021, 09:42 +0000, Tobias Nipkow <nipkow at in.tum.de>, 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.