changeset 4530 | ac1821645636 |
parent 3078 | 984866a8f905 |
child 17288 | aa3833fb7bee |
4529:21034b090722 | 4530:ac1821645636 |
---|---|
1 (* Title: HOL/IOA/meta_theory/Solve.thy |
1 (* Title: HOL/IOA/Solve.thy |
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) |