src/HOL/Library/refute.ML
changeset 55411 27de2c976d90
parent 54757 4960647932ec
child 55507 5f27fb2110e0
     1.1 --- a/src/HOL/Library/refute.ML	Wed Feb 12 08:35:56 2014 +0100
     1.2 +++ b/src/HOL/Library/refute.ML	Wed Feb 12 08:35:56 2014 +0100
     1.3 @@ -3163,8 +3163,8 @@
     1.4     add_interpreter "lfp" lfp_interpreter #>
     1.5     add_interpreter "gfp" gfp_interpreter #>
     1.6  *)
     1.7 -   add_interpreter "Product_Type.fst" Product_Type_fst_interpreter #>
     1.8 -   add_interpreter "Product_Type.snd" Product_Type_snd_interpreter #>
     1.9 +   add_interpreter "Product_Type.prod.fst" Product_Type_fst_interpreter #>
    1.10 +   add_interpreter "Product_Type.prod.snd" Product_Type_snd_interpreter #>
    1.11     add_printer "stlc" stlc_printer #>
    1.12     add_printer "set" set_printer #>
    1.13     add_printer "IDT"  IDT_printer;