changeset 23148 | ef3fa1386102 |
parent 22997 | d4f3b015b50b |
child 23230 | b70c8c2283c2 |
23147:a5db2f7d7654 | 23148:ef3fa1386102 |
---|---|
1 (* Title: HOL/Integ/presburger.ML |
1 (* Title: HOL/Tools/Presburger/presburger.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Amine Chaieb and Stefan Berghofer, TU Muenchen |
3 Author: Amine Chaieb and Stefan Berghofer, TU Muenchen |
4 |
4 |
5 Tactic for solving arithmetical Goals in Presburger Arithmetic. |
5 Tactic for solving arithmetical Goals in Presburger Arithmetic. |
6 |
6 |