changeset 16417 | 9bc16273c2d4 |
parent 15236 | f289e8ba2bb3 |
child 17589 | 58eeffd73be1 |
16416:6061ae1f90f2 | 16417:9bc16273c2d4 |
---|---|
4 Copyright 2000 TU Muenchen |
4 Copyright 2000 TU Muenchen |
5 *) |
5 *) |
6 |
6 |
7 header {* Simply-typed lambda terms *} |
7 header {* Simply-typed lambda terms *} |
8 |
8 |
9 theory Type = ListApplication: |
9 theory Type imports ListApplication begin |
10 |
10 |
11 |
11 |
12 subsection {* Environments *} |
12 subsection {* Environments *} |
13 |
13 |
14 constdefs |
14 constdefs |