X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fturing%2Fwmono.ma;h=d31ed62f551dabdb8e2963041c664f7b64e30415;hb=b5cb5cc7230870f757aadbe6b43ee146fe485a6d;hp=35c409639a7dfbc60f1a5f43829e7bb73370c2a9;hpb=38b251338be469c7bcd75cb9f243fad9ba8f0907;p=helm.git

diff --git a/matita/matita/lib/turing/wmono.ma b/matita/matita/lib/turing/wmono.ma
index 35c409639..d31ed62f5 100644
--- a/matita/matita/lib/turing/wmono.ma
+++ b/matita/matita/lib/turing/wmono.ma
@@ -11,6 +11,7 @@
 
 include "basics/vectors.ma".
 include "basics/finset.ma".
+include "basics/core_notation/compose_2.ma".
 (* include "basics/relations.ma". *)
 
 record tape (sig:FinSet): Type[0] ≝