doc-src/IsarImplementation/implementation.tex
Fri, 22 Oct 2010 20:51:45 +0100 wenzelm removed ML_old.thy, which is largely superseded by ML.thy;
less more (0) -10 -1 tip