History log of /seL4-l4v-10.1.1/isabelle/src/Pure/ML/ml_recursive.ML
Revision Date Author Comments
# ee45f1a2 10-Apr-2016 wenzelm <none@none>

proper support for recursive ML debugging;


# 4eb81afa 07-Apr-2016 wenzelm <none@none>

explicit handling of recursive ML name space, e.g. relevant for ML_Bootstrap;
handle bootstrap signatures as well;