Email Gateway (Aug 22 2022 at 10:06): Email Gateway (Aug 22 2022 at 10:06):From: Lars Noschinski <noschinl@in.tum.de>
atac does less then assumption, Method.assm_tac is closer.
-- Lars
Email Gateway (Aug 22 2022 at 10:06):From: Makarius <makarius@sketis.net>
Using an outdated repository version from 2 weeks ago is pointless. On
the repository you need to follow within a few days to make any sense.
We are presently at http://isabelle.in.tum.de/website-Isabelle2015-RC3
from yesterday.
Makarius
Last updated: Apr 25 2024 at 12:23 UTC