X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fdama%2Fordered_sets.ma;h=1ca191339b697514c39b171ed9111ef8c6a1003c;hb=c1e0024285a65a7d3e31bbdf77ad5d12bcdde36c;hp=27b10aeefbac510bfc7d65a7d4ae70873a6483a0;hpb=b098ae0cb12a818332cb3241ccaf76f99c4221a5;p=helm.git

diff --git a/matita/dama/ordered_sets.ma b/matita/dama/ordered_sets.ma
index 27b10aeef..1ca191339 100644
--- a/matita/dama/ordered_sets.ma
+++ b/matita/dama/ordered_sets.ma
@@ -692,4 +692,4 @@ qed.
 definition lt ≝ λO:ordered_set.λa,b:O.a ≤ b ∧ a ≠ b.
 
 interpretation "Ordered set lt" 'lt a b =
- (cic:/matita/ordered_sets/lt.con _ _ a b).
+ (cic:/matita/ordered_sets/lt.con _ a b).