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/HOL/Eisbach/match_method.ML
changeset 62135 fcf3bb1b54e1
parent 62134 2405ab06d5b1
child 62165 b10046b14dd8 
--- a/src/HOL/Eisbach/match_method.ML	Tue Jan 12 11:00:55 2016 +1100
+++ b/src/HOL/Eisbach/match_method.ML	Tue Jan 12 11:03:40 2016 +1100
@@ -434,8 +434,6 @@
       |> add_focus_schematics (snd schematics)
       |> fold_map add_focus_prem (rev prems)
 
-    val local_prems = map2 pair prem_ids (rev prems);
-
   in
     (prem_ids,
       {context = ctxt',
isabelle