| changeset 2446 | c2a9bf6c0948 |
| parent 2445 | 51993fea433f |
| child 3044 | 3e3087aa69e7 |
| 2445:51993fea433f | 2446:c2a9bf6c0948 |
|---|---|
3 Author : David von Oheimb |
3 Author : David von Oheimb |
4 Copyright 1995, 1996 TU Muenchen |
4 Copyright 1995, 1996 TU Muenchen |
5 |
5 |
6 proof generator for domain section |
6 proof generator for domain section |
7 *) |
7 *) |
8 |
|
8 |
9 |
9 structure Domain_Theorems = struct |
10 structure Domain_Theorems = struct |
10 |
11 |
11 local |
12 local |
12 |
13 |