diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2013-11-29 14:56:29 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2013-11-29 14:56:29 +0100 |
| commit | a889c1ee209ff16f03f89bf1f8f21faba1522a5d (patch) | |
| tree | a0b9353be68831a1595575d0a52fd9d7b58c45ff /pretyping | |
| parent | d8f3bf3416dc3ca6e5719b47451b0f72d663d7e2 (diff) | |
First stab at documenting Canonical Structures
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions