equal
deleted
inserted
replaced
1 (* Title: Provers/Arith/fast_lin_arith.ML |
1 (* Title: Provers/Arith/fast_lin_arith.ML |
2 ID: $Id$ |
|
3 Author: Tobias Nipkow and Tjark Weber and Sascha Boehme |
2 Author: Tobias Nipkow and Tjark Weber and Sascha Boehme |
4 |
3 |
5 A generic linear arithmetic package. It provides two tactics |
4 A generic linear arithmetic package. It provides two tactics |
6 (cut_lin_arith_tac, lin_arith_tac) and a simplification procedure |
5 (cut_lin_arith_tac, lin_arith_tac) and a simplification procedure |
7 (lin_arith_simproc). |
6 (lin_arith_simproc). |