Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/simplifier.ML
changeset 63221 7d43fbbaba28
parent 62913 13252110a6fe
child 63532 b01154b74314 
--- a/src/Pure/simplifier.ML	Thu Jun 02 15:52:45 2016 +0200
+++ b/src/Pure/simplifier.ML	Thu Jun 02 16:23:10 2016 +0200
@@ -45,6 +45,7 @@
   val prems_of: Proof.context -> thm list
   val add_simp: thm -> Proof.context -> Proof.context
   val del_simp: thm -> Proof.context -> Proof.context
+  val init_simpset: thm list -> Proof.context -> Proof.context
   val add_eqcong: thm -> Proof.context -> Proof.context
   val del_eqcong: thm -> Proof.context -> Proof.context
   val add_cong: thm -> Proof.context -> Proof.context
isabelle