![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/p.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ancestor.pl | 2003-08-19 10:25 | 122 | |
| append.pl | 2003-08-19 10:25 | 104 | |
| assert-eg.pl | 2003-08-19 10:25 | 165 | |
| author.pl | 2003-08-19 10:25 | 59 | |
| authorof.pl | 2003-08-19 10:25 | 68 | |
| authorofalt.pl | 2003-08-19 10:25 | 68 | |
| dangerous.pl | 2003-08-19 10:25 | 122 | |
| database.pl | 2003-08-19 10:25 | 238 | |
| database2.pl | 2003-08-19 10:25 | 249 | |
| englishgram.dcg | 2003-08-19 10:25 | 565 | |
| errata.ps | 2003-08-19 10:25 | 159K | |
| gapsem.dcg | 2003-08-19 10:25 | 1.0K | |
| list.pl | 2003-08-19 10:25 | 44 | |
| makeground.pl | 2003-08-19 10:25 | 424 | |
| max-cuts.pl | 2003-08-19 10:25 | 306 | |
| merge-conditional.pl | 2003-08-19 10:25 | 214 | |
| merge-red.pl | 2003-08-19 10:25 | 217 | |
| merge.pl | 2003-08-19 10:25 | 225 | |
| mergesort.pl | 2003-08-19 10:25 | 201 | |
| newlist.pl | 2003-08-19 10:25 | 58 | |
| parsetree.dcg | 2003-08-19 10:25 | 396 | |
| partial-exec.pl | 2003-08-19 10:25 | 7.5K | |
| pl-with-proof.pl | 2003-08-19 10:25 | 223 | |
| pl.pl | 2003-08-19 10:25 | 135 | |
| possdata.pl | 2003-08-19 10:25 | 126 | |
| possessive.pl | 2003-08-19 10:25 | 805 | |
| russell.pl | 2003-08-19 10:25 | 515 | |
| shuffle-alt.pl | 2003-08-19 10:25 | 165 | |
| shuffle-dumb-fixed.pl | 2003-08-19 10:25 | 192 | |
| shuffle-dumb.pl | 2003-08-19 10:25 | 182 | |
| shuffle-proof.pl | 2003-08-19 10:25 | 927 | |
| shuffle.pl | 2003-08-19 10:25 | 133 | |
| simplegram.pl | 2003-08-19 10:25 | 460 | |
| split.pl | 2003-08-19 10:25 | 114 | |
| talk.pl | 2003-08-19 10:25 | 14K | |