-include "ground/notation/functions/downspoon_2.ma".
-include "ground/lib/stream_eq.ma".
-include "ground/lib/arith.ma".
+include "ground/notation/functions/downharpoonleft_2.ma".
+include "ground/notation/functions/downharpoonright_2.ma".
+include "ground/lib/stream.ma".