| changeset 61037 | 0e273cbec33f |
| parent 59058 | a78612c67ec0 |
| child 61049 | 0d401f874942 |
--- 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 *)