X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fdama%2Fbishop_set.ma;h=3fa4eda96910abbabd26842e13d948c23706d1e6;hb=c5a4db6c1020488d0792cee00dcf395a0ce54735;hp=d69bb2732b3f1a4a023aa21bdd54fc4635c3b7b7;hpb=43cc715cc92ed10d665ee1cfe496531a30c8c460;p=helm.git

diff --git a/helm/software/matita/library/dama/bishop_set.ma b/helm/software/matita/library/dama/bishop_set.ma
index d69bb2732..3fa4eda96 100644
--- a/helm/software/matita/library/dama/bishop_set.ma
+++ b/helm/software/matita/library/dama/bishop_set.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "ordered_set.ma".
+include "dama/ordered_set.ma".
 
 (* Definition 2.2, setoid *)
 record bishop_set: Type ≝ {
@@ -86,4 +86,4 @@ notation "s 2 \atop \neq" non associative with precedence 90
 notation > "s 'squareB'" non associative with precedence 90
   for @{ 'squareB $s }.
 interpretation "bishop set square" 'squareB x = (square_bishop_set x).
-interpretation "bishop set square" 'square_bs x = (square_bishop_set x).
\ No newline at end of file
+interpretation "bishop set square" 'square_bs x = (square_bishop_set x).