changeset 30439 | 57c68b3af2ea |
parent 30042 | 31039ee583fa |
child 30684 | c98a64746c69 |
30432:aad3cd70e25a | 30439:57c68b3af2ea |
---|---|
1 (* Title: HOL/Reflection/Ferrack.thy |
1 (* Title: HOL/Decision_Procs/Ferrack.thy |
2 Author: Amine Chaieb |
2 Author: Amine Chaieb |
3 *) |
3 *) |
4 |
4 |
5 theory Ferrack |
5 theory Ferrack |
6 imports Complex_Main Dense_Linear_Order Efficient_Nat |
6 imports Complex_Main Dense_Linear_Order Efficient_Nat |