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
Fri, 28 Aug 2015 11:13:22 +0200
changeset 61037 0e273cbec33f
parent 61036 f6f2959bed67
child 61038 9c28a4feebd1
tuned signature;
src/Pure/Isar/context_rules.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/context_rules.ML	Fri Aug 28 11:09:26 2015 +0200
+++ b/src/Pure/Isar/context_rules.ML	Fri Aug 28 11:13:22 2015 +0200
@@ -155,8 +155,8 @@
 fun find_rules_netpair weighted facts goal (inet, enet) =
   find_erules weighted facts enet @ find_irules weighted goal inet;
 
-fun find_rules weighted facts goals =
-  map (find_rules_netpair weighted facts goals) o netpairs;
+fun find_rules weighted facts goal =
+  map (find_rules_netpair weighted facts goal) o netpairs;
 
 
 (* wrappers *)
isabelle