NEWS

--- a/NEWS	Tue Sep 22 18:06:49 2015 +0200
+++ b/NEWS	Tue Sep 22 18:56:25 2015 +0200
@@ -177,6 +177,9 @@
 
 *** Pure ***
 
+* Command 'print_definitions' prints dependencies of definitional
+specifications. This functionality used to be part of 'print_theory'.
+
 * The vacuous fact "TERM x" may be established "by fact" or as `TERM x`
 as well, not just "by this" or "." as before.