![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 01-lp/ | 2006-08-29 08:59 | - | |
| 02-data/ | 2006-08-31 08:46 | - | |
| 04-opsem/ | 2006-09-08 15:16 | - | |
| 05-backtrack/ | 2006-09-16 18:54 | - | |
| 06-unif/ | 2006-09-16 18:44 | - | |
| 08-completion/ | 2006-09-25 10:10 | - | |
| 11-diff/ | 2006-10-03 21:47 | - | |
| 15-resources/ | 2006-10-18 09:34 | - | |
| 23-monadic/ | 2006-12-18 10:28 | - | |
| 25-ssos/ | 2006-12-18 10:28 | - | |
| 27-clp/ | 2006-12-31 10:04 | - | |