changeset 36489 | 2b2a2c55d787 |
parent 36482 | 1281be23bd23 |
child 36922 | 12f87df9c1a5 |
--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML Wed Apr 28 13:00:30 2010 +0200 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML Wed Apr 28 13:32:45 2010 +0200 @@ -25,7 +25,6 @@ follow_defs: bool, isar_proof: bool, shrink_factor: int, - sorts: bool, timeout: Time.time, minimize_timeout: Time.time} type problem = @@ -85,7 +84,6 @@ follow_defs: bool, isar_proof: bool, shrink_factor: int, - sorts: bool, timeout: Time.time, minimize_timeout: Time.time}