src/Pure/Tools/update_theorems.scala
2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-02-28 wenzelm 2016-02-28 tuned signature;
2016-02-28 wenzelm 2016-02-28 moved getopts to Scala;
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;