X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Flambda-delta%2Fground.ma;h=d39b3faf46667050c302cd13a535595b9e383a21;hb=6f29b61aeae23efb412ac48ab747d63bcedcacd6;hp=97c45196a2787917ece829c12fc92c443888fca0;hpb=d9c872a9203fb4f69d9962d68b8ee64881f8a949;p=helm.git

diff --git a/matita/matita/lib/lambda-delta/ground.ma b/matita/matita/lib/lambda-delta/ground.ma
index 97c45196a..d39b3faf4 100644
--- a/matita/matita/lib/lambda-delta/ground.ma
+++ b/matita/matita/lib/lambda-delta/ground.ma
@@ -12,7 +12,6 @@
 include "basics/list.ma".
 include "lambda-delta/xoa_defs.ma".
 include "lambda-delta/xoa_notation.ma".
-include "lambda-delta/notation.ma".
 
 (* ARITHMETICAL PROPERTIES **************************************************)