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.
dropped dead code
authorhaftmann
Wed, 22 Jan 2020 19:17:57 +0000
changeset 71401 a3ae93ed7b1b
parent 71400 58ddd7c5c84e
child 71402 fb9edfe035e1
dropped dead code
src/Provers/hypsubst.ML file | annotate | diff | comparison | revisions 
--- a/src/Provers/hypsubst.ML	Wed Jan 22 15:23:42 2020 +0100
+++ b/src/Provers/hypsubst.ML	Wed Jan 22 19:17:57 2020 +0000
@@ -139,8 +139,6 @@
       else Thm.symmetric(th RS Data.eq_reflection) (*reorient*) ]
     handle TERM _ => [] | Match => [];
 
-fun bool2s true = "true" | bool2s false = "false"
-
 local
 in
isabelle