![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Ch08.Clean1.ps | 2001-03-23 11:35 | 735K | |
| ChIndex.ps | 2001-01-12 10:26 | 101K | |
| ChBibliography.ps | 2001-01-12 10:26 | 56K | |
| ChAppD.PABC_def.ps | 2001-01-12 10:26 | 61K | |
| ChAppC.ABC_def.ps | 2001-01-12 10:26 | 70K | |
| ChAppB.CoCl_syntax.ps | 2001-01-12 10:26 | 158K | |
| ChAppA.Mira_syntax.ps | 2001-01-12 10:26 | 22K | |
| Ch17.Concret.PABC.ps | 2001-01-12 10:26 | 199K | |
| Ch16.PABC-Cl_to_PABC.ps | 2001-01-12 10:26 | 206K | |
| Ch15.ConcClean.ps | 2001-01-12 10:26 | 376K | |
| Ch14.GRS.ps | 2001-01-12 10:26 | 339K | |
| Ch13.Basic_Conc.ps | 2001-01-12 10:26 | 291K | |
| Ch12.Concret.ABC.ps | 2001-01-12 10:26 | 561K | |
| Ch11.Cl_to_ABC.ps | 2001-01-12 10:26 | 899K | |
| Ch10.ABC.ps | 2001-01-12 10:26 | 174K | |
| Ch09.Mira_to_Clean.ps | 2001-01-12 10:26 | 114K | |
| Ch08.Clean.ps | 2001-01-12 10:26 | 690K | |
| Ch07.Strictness.ps | 2001-01-12 10:26 | 267K | |
| Ch06.Typing.ps | 2001-01-12 10:26 | 460K | |
| Ch05.GRS.ps | 2001-01-12 10:26 | 765K | |
| Ch04.TRS.ps | 2001-01-12 10:26 | 308K | |
| Ch03.Lam_Cal.ps | 2001-01-12 10:26 | 408K | |
| Ch02.Mira.ps | 2001-01-12 10:26 | 228K | |
| _errata.ps | 2001-01-12 10:26 | 20K | |
| Ch01.Basic_Conc.ps | 2001-01-12 10:26 | 237K | |
| Ch00.Preface.ps | 2001-01-12 10:26 | 91K | |