![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| allValuations.stlx | 26-Jan-2012 13:27 | 606 | |
| arb.stlx | 26-Jan-2012 13:27 | 74 | |
| buggy-function.stlx | 26-Jan-2012 13:27 | 183 | |
| chinese.stlx | 07-Feb-2012 23:16 | 2.0K | |
| davis-putnam.stlx | 26-Jan-2012 13:27 | 4.2K | |
| derivative-frame.stlx | 26-Jan-2012 17:53 | 6.1K | |
| derivative.stlx | 30-Jan-2012 18:50 | 9.0K | |
| euklid-extended.stlx | 27-Jan-2012 16:56 | 517 | |
| euklid.stlx | 27-Jan-2012 16:56 | 306 | |
| euklid2.stlx | 27-Jan-2012 16:56 | 209 | |
| evaluate.stlx | 26-Jan-2012 13:27 | 1.2K | |
| find-path.stlx | 26-Jan-2012 13:27 | 657 | |
| find-perfect.stlx | 26-Jan-2012 13:27 | 382 | |
| from.stlx | 26-Jan-2012 13:27 | 158 | |
| function.stlx | 26-Jan-2012 13:27 | 198 | |
| ggt-loop.stlx | 14-Feb-2012 22:15 | 276 | |
| ggt.stlx | 09-Dec-2011 13:02 | 215 | |
| japanese-frame.stlx | 26-Jan-2012 13:27 | 3.9K | |
| japanese-short.stlx | 26-Jan-2012 13:27 | 3.4K | |
| japanese.stlx | 26-Jan-2012 13:27 | 4.5K | |
| kgv.stlx | 07-May-2012 17:01 | 519 | |
| knf.stlx | 26-Jan-2012 13:27 | 12K | |
| kokosnuss.stlx | 09-Dec-2011 13:02 | 1.2K | |
| min-sort.stlx | 26-Jan-2012 13:27 | 216 | |
| missionare-frame.stlx | 26-Jan-2012 13:27 | 6.8K | |
| missionare-short.stlx | 21-Mar-2012 13:55 | 4.7K | |
| missionare.stlx | 26-Jan-2012 13:27 | 7.5K | |
| normalize.stlx | 26-Jan-2012 13:27 | 4.1K | |
| parse-propositional.stlx | 26-Jan-2012 13:27 | 6.7K | |
| path-cyclic.stlx | 26-Jan-2012 13:27 | 549 | |
| path.stlx | 26-Jan-2012 13:27 | 494 | |
| perfect.stlx | 09-Dec-2011 13:02 | 162 | |
| permutation.stlx | 27-Jan-2012 16:57 | 2.8K | |
| pl-evaluate.stlx | 26-Jan-2012 13:27 | 17K | |
| poker-triple.stlx | 26-Jan-2012 13:27 | 473 | |
| poker.stlx | 09-Dec-2011 13:02 | 893 | |
| power.stlx | 14-Feb-2012 22:15 | 291 | |
| primes-eratosthenes.stlx | 26-Jan-2012 13:27 | 272 | |
| primes-for.stlx | 26-Jan-2012 13:27 | 222 | |
| primes-forall.stlx | 26-Jan-2012 13:27 | 221 | |
| primes-sieve.stlx | 26-Jan-2012 13:27 | 83 | |
| primes-slim.stlx | 26-Jan-2012 13:27 | 149 | |
| primes-tuple.stlx | 26-Jan-2012 13:27 | 149 | |
| primes-while.stlx | 26-Jan-2012 13:27 | 164 | |
| prince-nice.stlx | 26-Jan-2012 13:27 | 3.8K | |
| prince-slim.stlx | 26-Jan-2012 13:27 | 3.9K | |
| prinz-frame.stlx | 26-Jan-2012 13:27 | 2.9K | |
| prinz-slim.stlx | 18-Jan-2012 16:46 | 3.8K | |
| prinz-und-tiger.stlx | 26-Jan-2012 13:27 | 5.2K | |
| queens-backtrack.stlx | 15-Feb-2012 21:48 | 4.9K | |
| queens.stlx | 26-Jan-2012 13:27 | 4.4K | |
| rangier-frame.stlx | 19-Dec-2011 20:53 | 5.0K | |
| rangier.stlx | 21-Dec-2011 17:09 | 5.5K | |
| simple-tuple.stlx | 26-Jan-2012 13:27 | 539 | |
| simple.stlx | 26-Jan-2012 13:27 | 399 | |
| solve.stlx | 26-Jan-2012 13:27 | 164 | |
| sort.stlx | 26-Jan-2012 13:27 | 136 | |
| sum-recursive.stlx | 26-Jan-2012 13:27 | 197 | |
| sum.stlx | 26-Jan-2012 13:27 | 217 | |
| switch.stlx | 26-Jan-2012 13:27 | 581 | |
| tautology.stlx | 26-Jan-2012 13:27 | 9.1K | |
| test-davis-putnam.stlx | 26-Jan-2012 13:27 | 1.0K | |
| test.stlx | 26-Jan-2012 13:27 | 1.3K | |
| transitive-closure.stlx | 26-Jan-2012 13:27 | 694 | |
| tunnel.stlx | 16-Feb-2012 19:20 | 4.8K | |
| watson.stlx | 26-Jan-2012 13:27 | 1.8K | |
| wolf-goat-cabbage.stlx | 26-Jan-2012 13:27 | 2.6K | |