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.
unused;
authorwenzelm
Fri, 15 Jul 2016 22:23:36 +0200
changeset 63509 3b9ab054a356
parent 63508 348599644887
child 63510 0fc8be2f8176
unused;
src/Pure/Isar/proof_context.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof_context.ML	Fri Jul 15 22:17:09 2016 +0200
+++ b/src/Pure/Isar/proof_context.ML	Fri Jul 15 22:23:36 2016 +0200
@@ -262,10 +262,6 @@
 fun set_mode mode = map_data (fn (_, syntax, tsig, consts, facts, cases) =>
   (mode, syntax, tsig, consts, facts, cases));
 
-fun map_mode f =
-  map_data (fn (Mode {pattern, schematic, abbrev}, syntax, tsig, consts, facts, cases) =>
-    (make_mode (f (pattern, schematic, abbrev)), syntax, tsig, consts, facts, cases));
-
 fun map_syntax f =
   map_data (fn (mode, syntax, tsig, consts, facts, cases) =>
     (mode, f syntax, tsig, consts, facts, cases));
isabelle