| changeset 66946 | 3d8fd98c7c86 |
| parent 51403 | 2ff3a5589b05 |
| child 69272 | 15e9ed5b28fb |
| 66945:b6f787a17fbe | 66946:3d8fd98c7c86 |
|---|---|
11 distinctness of variable names in contexts! |
11 distinctness of variable names in contexts! |
12 |
12 |
13 For more information about the Lambda-Cube, see H. Barendregt, Introduction |
13 For more information about the Lambda-Cube, see H. Barendregt, Introduction |
14 to Generalised Type Systems, J. Functional Programming. |
14 to Generalised Type Systems, J. Functional Programming. |
15 *} |
15 *} |
16 options [document = false] |
|
17 theories Example |
16 theories Example |
18 |