Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] datatype command not documented in isar-ref.pdf

view this post on Zulip Email Gateway (Jul 27 2022 at 08:45):

From: Peter Lammich <lammich@in.tum.de>
Despite having a hyperref on it, which points to the last page of the
document, there seems to be no documentation of this basic HOL command
in isar-ref.pdf!?

Last updated: Mar 09 2025 at 12:28 UTC