| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 156 | logplain |
| -rw-r--r-- | AUTHORS | 547 | logplain |
| -rw-r--r-- | COPYING | 35133 | logplain |
| -rw-r--r-- | ChangeLog | 367 | logplain |
| -rw-r--r-- | INSTALL | 16377 | logplain |
| -rw-r--r-- | Makefile.in | 1483 | logplain |
| -rw-r--r-- | NEWS | 0 | logplain |
| -rw-r--r-- | README.md | 584 | logplain |
| -rw-r--r-- | _CoqProject | 106 | logplain |
| -rw-r--r-- | configure.ac | 816 | logplain |
| d--------- | theories | 159 | logplain |
 |
index : lambda | |
| Fundamental objects and results in the untyped lambda calculus. | Daniel Rostovtsev |
| aboutsummaryrefslogtreecommitdiff |