changeset 42343 | 118cc349de35 |
parent 42338 | 802f2fe7a0c9 |
child 43162 | 9a8acc5adfa3 |
42342:6babd86a54a4 | 42343:118cc349de35 |
---|---|
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", "Clausifier", "HO_Reas", "Message", |
8 use_thys ["Abstraction", "BigO", "BT", "Clausify", "HO_Reas", "Message", |
9 "Tarski", "TransClosure", "set"]; |
9 "Tarski", "TransClosure", "set"]; |