--- a/PIPDefs.thy	Tue Jun 14 13:56:51 2016 +0100
+++ b/PIPDefs.thy	Tue Jun 14 15:06:16 2016 +0100
@@ -1,6 +1,6 @@
 (*<*)
 theory PIPDefs
-imports Precedence_ord Moment RTree Max
+imports Precedence_ord RTree Max
 begin
 (*>*)