| changeset 952 | 9c3b3eaecaff |
| parent 886 | eb84e8ca214f |
| child 1064 | 0391abfc6246 |
| 951:62f0344b219c | 952:9c3b3eaecaff |
|---|---|
1 (* Title: quotient_info.thy |
|
2 Author: Cezary Kaliszyk and Christian Urban |
|
3 |
|
4 Data slots for the quotient package. |
|
5 |
|
6 *) |
|
7 |
|
8 |
|
1 signature QUOTIENT_INFO = |
9 signature QUOTIENT_INFO = |
2 sig |
10 sig |
3 exception NotFound |
11 exception NotFound |
4 |
12 |
5 type maps_info = {mapfun: string, relmap: string} |
13 type maps_info = {mapfun: string, relmap: string} |