diff -r fc51dcb4e6fd -r fb44580680c4 src/Pure/build-jars
--- 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