src/Tools/jEdit/src/proofdocument/theory_view.scala
2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-12-08 wenzelm 2009-12-08 misc rearrangement of files;