changeset 23374 | a2f492c599e0 |
parent 22665 | cf152ff55d16 |
child 23394 | 474ff28210c0 |
23373:ead82c82da9e | 23374:a2f492c599e0 |
---|---|
1 (* Title: HOL/Library/SCT_Interpretation.thy |
1 (* Title: HOL/Library/SCT_Interpretation.thy |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Alexander Krauss, TU Muenchen |
3 Author: Alexander Krauss, TU Muenchen |
4 *) |
4 *) |
5 |
5 |
6 header "" |
6 header "" (* FIXME proper header *) |
7 |
7 |
8 theory SCT_Interpretation |
8 theory SCT_Interpretation |
9 imports Main SCT_Misc SCT_Definition |
9 imports Main SCT_Misc SCT_Definition |
10 begin |
10 begin |
11 |
11 |