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.
more accurate rail diagram (amending de9d43c427ae); default tip
authorwenzelm
Thu, 06 Feb 2025 22:10:16 +0100
changeset 82101 df68d656d5c4
parent 82100 a3a8bd0cd172
more accurate rail diagram (amending de9d43c427ae);
src/Doc/Isar_Ref/HOL_Specific.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/Isar_Ref/HOL_Specific.thy	Thu Feb 06 17:29:03 2025 +0100
+++ b/src/Doc/Isar_Ref/HOL_Specific.thy	Thu Feb 06 22:10:16 2025 +0100
@@ -1653,7 +1653,6 @@
     ;
 
     @@{command (HOL) try0} ( ( ( 'simp' | 'intro' | 'elim' | 'dest' ) ':' @{syntax thms} ) + ) ?
-      @{syntax nat}?
     ;
 
     @@{command (HOL) sledgehammer} ( '[' args ']' )? facts? @{syntax nat}?
isabelle