diff -r 5867d1306712 -r fd03765b06c0 src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Aug 11 20:30:01 2014 +0200
+++ b/src/Pure/build-jars	Mon Aug 11 20:46:56 2014 +0200
@@ -83,6 +83,7 @@
   Thy/present.scala
   Thy/thy_header.scala
   Thy/thy_info.scala
+  Thy/thy_structure.scala
   Thy/thy_syntax.scala
   Tools/build.scala
   Tools/build_console.scala