New version of SICM in MMA
Added some instrumentation so we may watch the solution process (essentially Exercise 1.5, but this was a real workout, requiring me to understand deep details of evaluation order in MMA, rather painfully, but worth it).
Also greatly improved the mathematical preliminaries based on trying to explain the thing to Erik Meijer. Nothing like explaining something to force one to clarify it.
All in the "Classical Mechanics" folder above.