src/Pure/Isar/context_rules.ML
changeset 18977 f24c416a4814
parent 18921 f47c46d7d654
child 19046 bc5c6c9b114e
     1.1 --- a/src/Pure/Isar/context_rules.ML	Wed Feb 08 09:27:20 2006 +0100
     1.2 +++ b/src/Pure/Isar/context_rules.ML	Wed Feb 08 14:39:00 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 = distinct (map #1 rule_kinds);
     1.8 +val rule_indexes = gen_distinct (op =) (map #1 rule_kinds);
     1.9  
    1.10  
    1.11  (* context data *)