| changeset 53403 | c09f4005d6bd |
| parent 52048 | 9003b293e775 |
| child 56303 | 4cc3f4db3447 |
--- a/src/HOL/Tools/Sledgehammer/async_manager.ML Wed Sep 04 13:45:46 2013 +0200 +++ b/src/HOL/Tools/Sledgehammer/async_manager.ML Wed Sep 04 15:27:24 2013 +0200 @@ -6,6 +6,8 @@ Central manager for asynchronous diagnosis tool threads. *) +(*Proof General legacy*) + signature ASYNC_MANAGER = sig val break_into_chunks : string -> string list