src/Pure/Thy/thy_document_model.scala
19 months ago wenzelm 2017-11-12 tuned signature;
19 months ago wenzelm 2017-11-06 minimal document model for theory files;