cookbook.pdf
2009-03-08 Christian Urban removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive
2009-03-06 Christian Urban some additions to the simplifier section and general tuning
2009-03-06 Christian Urban rolled back the changes on the function warning and tracing
less more (0) -100 -30 -10 -3 tip