changeset 4530 | ac1821645636 |
parent 4477 | b3e5857d8d99 |
child 4651 | 70dd492a1698 |
4529:21034b090722 | 4530:ac1821645636 |
---|---|
1 (* Title: HOL/IOA/meta_theory/Solve.ML |
1 (* Title: HOL/IOA/Solve.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Tobias Nipkow & Konrad Slind |
3 Author: Tobias Nipkow & Konrad Slind |
4 Copyright 1994 TU Muenchen |
4 Copyright 1994 TU Muenchen |
5 |
5 |
6 Weak possibilities mapping (abstraction) |
6 Weak possibilities mapping (abstraction) |