equal
deleted
inserted
replaced
1 (* Title: HOL/Tools/Presburger/cooper_data.ML |
1 (* Title: HOL/Tools/Qelim/cooper_data.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Amine Chaieb, TU Muenchen |
3 Author: Amine Chaieb, TU Muenchen |
4 *) |
4 *) |
5 |
5 |
6 signature COOPER_DATA = |
6 signature COOPER_DATA = |