2009-03-10 | Christian Urban | more work on simple_inductive | file | diff | annotate |
2009-03-08 | Christian Urban | removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive | file | diff | annotate |
2009-02-18 | Christian Urban | added to the first-steps section | file | diff | annotate |
2009-02-14 | Christian Urban | polished and added more material to the package chapter | file | diff | annotate |
2009-02-12 | Christian Urban | recovered old version of simple_induct; split the main function into small functions | file | diff | annotate |
2009-01-29 | Christian Urban | added a section that will eventually describe the code | file | diff | annotate |