src/Pure/goal_display.ML
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-10-17 wenzelm 2009-10-17 indicate CRITICAL nature of various setmp combinators;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-25 wenzelm 2009-07-25 renamed structure Display_Goal to Goal_Display;