src/HOL/Tools/ATP/atp_translate.ML
changeset 43283 446e6621762d
parent 43278 1fbdcebb364b
child 43297 e77baf329f48
equal deleted inserted replaced
43282:5d294220ca43 43283:446e6621762d
     1 (*  Title:      HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML
     1 (*  Title:      HOL/Tools/ATP/atp_translate.ML
     2     Author:     Fabian Immler, TU Muenchen
     2     Author:     Fabian Immler, TU Muenchen
     3     Author:     Makarius
     3     Author:     Makarius
     4     Author:     Jasmin Blanchette, TU Muenchen
     4     Author:     Jasmin Blanchette, TU Muenchen
     5 
     5 
     6 Translation of HOL to FOL for Sledgehammer.
     6 Translation of HOL to FOL for Sledgehammer.