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.
export MataSimplifier.inherit_bounds;
authorwenzelm
Mon, 01 Aug 2005 19:20:43 +0200
changeset 16989 1877b00fb4d2
parent 16988 02cd0c8b96d9
child 16990 7fceb965cf52
export MataSimplifier.inherit_bounds;
src/Pure/simplifier.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/simplifier.ML	Mon Aug 01 19:20:42 2005 +0200
+++ b/src/Pure/simplifier.ML	Mon Aug 01 19:20:43 2005 +0200
@@ -60,6 +60,7 @@
     -> (Proof.context -> simpset -> term -> thm option) -> context_simproc
   val context_simproc: theory -> string -> string list
     -> (Proof.context -> simpset -> term -> thm option) -> context_simproc
+  val inherit_bounds: simpset -> simpset -> simpset
   val          rewrite: simpset -> cterm -> thm
   val      asm_rewrite: simpset -> cterm -> thm
   val     full_rewrite: simpset -> cterm -> thm
isabelle