2009-03-08 | Christian Urban | removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive | file | diff | annotate |
2009-03-06 | Christian Urban | some additions to the simplifier section and general tuning | file | diff | annotate |
2009-03-06 | Christian Urban | rolled back the changes on the function warning and tracing | file | diff | annotate |