![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ackermann-ioi.lp | 2005-03-23 10:57 | 409 | |
| ackermann.lp | 2005-03-23 10:57 | 409 | |
| average-ioi.lp | 2005-03-23 10:57 | 511 | |
| average.lp | 2005-03-23 10:57 | 511 | |
| factorial.lp | 2005-03-23 10:57 | 547 | |
| fib-oi.lp | 2005-03-23 10:57 | 741 | |
| fib.lp | 2005-03-23 10:57 | 741 | |
| hanoi.lp | 2005-03-23 10:57 | 404 | |
| kay4.lp | 2005-03-23 10:57 | 1.1K | |
| log2a-oi.lp | 2005-03-23 10:57 | 511 | |
| log2a.lp | 2005-03-23 10:57 | 511 | |
| log2b-oi.lp | 2005-03-23 10:57 | 700 | |
| log2b.lp | 2005-03-23 10:57 | 700 | |
| mapcolor.lp | 2005-03-23 10:57 | 1.6K | |
| mergesort-oi.lp | 2005-03-23 10:57 | 379 | |
| mergesort.lp | 2005-03-23 10:57 | 379 | |
| numbervars.lp | 2005-03-23 10:57 | 1.1K | |
| primes.lp | 2005-03-23 10:57 | 467 | |
| shapes.lp | 2005-03-23 10:57 | 2.3K | |
| tautology.lp | 2005-03-23 10:57 | 3.6K | |
| totient.lp | 2005-03-23 10:57 | 1.1K | |