src/Pure/ML/ml_recursive.ML
2016-04-10 wenzelm 2016-04-10 proper support for recursive ML debugging;
2016-04-07 wenzelm 2016-04-07 explicit handling of recursive ML name space, e.g. relevant for ML_Bootstrap; handle bootstrap signatures as well;