changeset 42963 | 5725deb11ae7 |
parent 42962 | 3b50fdeb6cfc |
child 42965 | 1403595ec38c |
--- a/src/HOL/Tools/ATP/atp_systems.ML Tue May 24 00:01:33 2011 +0200 +++ b/src/HOL/Tools/ATP/atp_systems.ML Tue May 24 00:01:33 2011 +0200 @@ -462,7 +462,8 @@ val atps = [e, spass, vampire, z3_atp, remote_e, remote_vampire, remote_z3_atp, - remote_leo2, remote_sine_e, remote_snark, remote_tofof_e, remote_waldmeister] + remote_leo2, remote_satallax, remote_sine_e, remote_snark, remote_tofof_e, + remote_waldmeister] val setup = fold add_atp atps end;