src/Pure/Thy/thy_edit.ML
2007-07-12 wenzelm 2007-07-12 tuned signature; misc cleanup / simplification;
2007-07-11 wenzelm 2007-07-11 tuned markup;
2007-07-11 wenzelm 2007-07-11 treat OuterLex.Error;
2007-07-10 wenzelm 2007-07-10 Basic editing of theory sources.