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.
tuned signature;
authorwenzelm
Tue, 22 Oct 2024 21:29:44 +0200
changeset 81236 7c6665613190
parent 81235 b35c2aa05fcf
child 81237 8454a245952a
tuned signature;
src/Pure/Isar/proof_context.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof_context.ML	Tue Oct 22 20:53:54 2024 +0200
+++ b/src/Pure/Isar/proof_context.ML	Tue Oct 22 21:29:44 2024 +0200
@@ -95,6 +95,7 @@
   val read_term_schematic: Proof.context -> string -> term
   val read_term_abbrev: Proof.context -> string -> term
   val show_abbrevs: bool Config.T
+  val contract_abbrevs: Proof.context -> term -> term
   val expand_abbrevs: Proof.context -> term -> term
   val cert_term: Proof.context -> term -> term
   val cert_prop: Proof.context -> term -> term
isabelle