| Rev | Time | Changes | Operations |
|---|---|---|---|
| Log | |||
| 4 | 2013-01-27 18:04:42 | +9 -0 line(s) | [View this version, source] [Diff to previous] |
| Add proof using applicative-order evaluation | |||
| 3 | 2010-01-04 15:10:56 | +14 -10 line(s) | [View this version, source] [Diff to current|previous] |
| ADD: navigation FIX: comments | |||
| 2 | 2008-02-16 11:32:13 | +9 -9 line(s) | [View this version, source] [Diff to current|previous] |
| Harmonized parameter use between the code and the proof. | |||
| 1 | 2007-12-20 23:16:25 | +46 -0 line(s) | [View this version, source] [Diff to current|previous] |
| initial draft | |||
| [Diff from epoch] | |||