Edit History


Edit history of sicp-ex-2.4

RevTimeChangesOperations
Log
42013-01-27 18:04:42+9 -0 line(s)[View this version, source] [Diff to previous]
Add proof using applicative-order evaluation
32010-01-04 15:10:56+14 -10 line(s)[View this version, source] [Diff to current|previous]
ADD: navigation FIX: comments
22008-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.
12007-12-20 23:16:25+46 -0 line(s)[View this version, source] [Diff to current|previous]
initial draft
[Diff from epoch]