| changeset 38293 | 9033c03cc214 |
| parent 38292 | 6659c15e7421 |
| child 38823 | 968f8cc672cd |
| 38292:6659c15e7421 | 38293:9033c03cc214 |
|---|---|
1 (* Title: HOL/Tools/ATP_Manager/async_manager.ML |
1 (* Title: HOL/Tools/ATP/async_manager.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 Central manager for asynchronous diagnosis tool threads. |
6 Central manager for asynchronous diagnosis tool threads. |