changeset 42637 | 381fdcab0f36 |
parent 12679 | 8ed660138f83 |
child 43049 | 99985426c0bb |
42636:41dff1b862bf | 42637:381fdcab0f36 |
---|---|
1 %% $Id$ |
|
2 \chapter{Constructive Type Theory} |
1 \chapter{Constructive Type Theory} |
3 \index{Constructive Type Theory|(} |
2 \index{Constructive Type Theory|(} |
4 |
3 |
5 \underscoreoff %this file contains _ in rule names |
4 \underscoreoff %this file contains _ in rule names |
6 |
5 |