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.
removed unused function
authordesharna
Thu, 27 Mar 2025 13:44:42 +0100 (5 weeks ago)
changeset 82362 396676efbd6d
parent 82361 0b5f1364606c
child 82363 3a7fc54b50ca
removed unused function
src/HOL/Tools/try0.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/try0.ML	Thu Mar 27 13:40:33 2025 +0100
+++ b/src/HOL/Tools/try0.ML	Thu Mar 27 13:44:42 2025 +0100
@@ -89,8 +89,6 @@
     NONE => noop_proof_method
   | SOME proof_method => proof_method)
 
-val apply_proof_method = get_proof_method_or_noop
-
 fun maybe_apply_proof_method name mode : proof_method =
   if mode <> Auto_Try orelse should_auto_try_proof_method name then
     get_proof_method_or_noop name
isabelle