--- a/src/HOL/ROOT Mon Oct 24 16:53:32 2016 +0200
+++ b/src/HOL/ROOT Mon Oct 24 16:53:32 2016 +0200
@@ -804,6 +804,7 @@
Paper_Examples
Stream_Processor
"Tests/Simple_Nesting"
+ "Tests/Iterate_GPV"
theories [quick_and_dirty]
"Tests/GPV_Bare_Bones"
"Tests/Merge_D"