| changeset 16417 | 9bc16273c2d4 |
| parent 14981 | e73f8140af78 |
| child 17778 | 93d7e524417a |
| 16416:6061ae1f90f2 | 16417:9bc16273c2d4 |
|---|---|
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Martin Strecker |
3 Author: Martin Strecker |
4 *) |
4 *) |
5 |
5 |
6 (* Exact position in theory hierarchy still to be determined *) |
6 (* Exact position in theory hierarchy still to be determined *) |
7 theory TypeInf = WellType: |
7 theory TypeInf imports WellType begin |
8 |
8 |
9 |
9 |
10 |
10 |
11 (**********************************************************************) |
11 (**********************************************************************) |
12 ; |
12 ; |