--- a/src/HOL/ROOT Sun Feb 09 17:41:17 2014 +0100
+++ b/src/HOL/ROOT Sun Feb 09 17:47:23 2014 +0100
@@ -184,6 +184,8 @@
theories
Pocklington
Number_Theory
+ files
+ "document/root.tex"
session "HOL-Old_Number_Theory" in Old_Number_Theory = HOL +
description {*