src/Pure/Isar/context_rules.ML
changeset 19046 bc5c6c9b114e
parent 18977 f24c416a4814
child 19473 d87a8838afa4
     1.1 --- a/src/Pure/Isar/context_rules.ML	Wed Feb 15 19:11:10 2006 +0100
     1.2 +++ b/src/Pure/Isar/context_rules.ML	Wed Feb 15 21:34:55 2006 +0100
     1.3 @@ -59,7 +59,7 @@
     1.4    (elim_queryK, "extra elimination rules (elim?)")];
     1.5  
     1.6  val rule_kinds = map #1 kind_names;
     1.7 -val rule_indexes = gen_distinct (op =) (map #1 rule_kinds);
     1.8 +val rule_indexes = distinct (op =) (map #1 rule_kinds);
     1.9  
    1.10  
    1.11  (* context data *)