History log of /seL4-l4v-10.1.1/isabelle/src/Pure/ML/ml_init.ML
Revision Date Author Comments
# f98004d1 14-Dec-2017 wenzelm <none@none>

minor performance tuning, notably for Library.fold_string etc.;
# 8b9909e2 14-Dec-2017 wenzelm <none@none>

clarified file name;

--HG--
rename : src/Pure/ML/ml_pervasive.ML => src/Pure/ML/ml_init.ML