diff options
| author | Peter Sewell | 2017-01-31 18:21:37 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-01-31 18:21:37 +0000 |
| commit | 03fe888c363444d0860a1de0956088d9ae05c1d8 (patch) | |
| tree | f735a8d92a442caff1e29e2830e90df17d293255 /language/manual.pdf | |
| parent | 5ffeeafcfa6104b1cc950a27c77c06d1caf8537c (diff) | |
Kathy, Peter: pp of initial type environment
Diffstat (limited to 'language/manual.pdf')
| -rw-r--r-- | language/manual.pdf | bin | 361603 -> 354119 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/language/manual.pdf b/language/manual.pdf Binary files differindex 22b4c5c3..ace1cd32 100644 --- a/language/manual.pdf +++ b/language/manual.pdf |