Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature
authordesharna
Fri, 28 Feb 2025 11:36:59 +0100
changeset 82215 b3502f81ab3d
parent 82214 4a21e6973e11
child 82216 9807c44f5d57
child 82218 cbf9f856d3e0
tuned signature
src/HOL/Tools/try0.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/try0.ML	Fri Feb 28 11:13:13 2025 +0100
+++ b/src/HOL/Tools/try0.ML	Fri Feb 28 11:36:59 2025 +0100
@@ -6,7 +6,6 @@
 
 signature TRY0 =
 sig
-  val noneN : string
   val silence_methods : bool -> Proof.context -> Proof.context
   datatype modifier = Use | Simp | Intro | Elim | Dest
   type xthm = Facts.ref * Token.src list
isabelle