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: May 19 2024 at 04:18 UTC