src/Pure/Tools/find_theorems.ML
changeset 41835 9712fae15200
parent 39557 fe5722fce758
child 41841 c27b0b37041a
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Wed Feb 23 11:42:01 2011 +0100
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Wed Feb 23 17:40:28 2011 +0100
     1.3 @@ -263,6 +263,7 @@
     1.4  
     1.5  fun filter_crit _ _ (Name name) = apfst (filter_name name)
     1.6    | filter_crit _ NONE Intro = err_no_goal "intro"
     1.7 +  | filter_crit _ NONE IntroIff = err_no_goal "introiff"
     1.8    | filter_crit _ NONE Elim = err_no_goal "elim"
     1.9    | filter_crit _ NONE Dest = err_no_goal "dest"
    1.10    | filter_crit _ NONE Solves = err_no_goal "solves"