src/Pure/Admin/other_isabelle.scala
2016-10-13 wenzelm 2016-10-13 clarified modules;