--- a/src/Pure/build-jars Thu Aug 02 22:24:16 2018 +0200
+++ b/src/Pure/build-jars Fri Aug 03 14:08:33 2018 +0200
@@ -159,6 +159,7 @@
Tools/update_then.scala
Tools/update_theorems.scala
library.scala
+ pure_thy.scala
term.scala
term_xml.scala
../Tools/Graphview/graph_file.scala