changeset 42338 | 802f2fe7a0c9 |
parent 41144 | 509e51b7509a |
child 42343 | 118cc349de35 |
42337:fef417b12f38 | 42338:802f2fe7a0c9 |
---|---|
3 Author: Jasmin Blanchette, TU Muenchen |
3 Author: Jasmin Blanchette, TU Muenchen |
4 |
4 |
5 Testing Metis and Sledgehammer. |
5 Testing Metis and Sledgehammer. |
6 *) |
6 *) |
7 |
7 |
8 use_thys ["Abstraction", "BigO", "BT", "HO_Reas", "Message", "Tarski", |
8 use_thys ["Abstraction", "BigO", "BT", "Clausifier", "HO_Reas", "Message", |
9 "TransClosure", "set"]; |
9 "Tarski", "TransClosure", "set"]; |