milestone update in ground_2 and basic_2A

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / relocation / nstream_sor.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sor.ma b/matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sor.ma
index 1605616646483a06265935f3601b75603943e0d1..595a23a12509ce64f164ab6b832a23caae503e93 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sor.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_sor.ma
@@ -23,4 +23,4 @@ interpretation "union (nstream)"
 
 (* Specific properties on sor ***********************************************)
 
-axiom sor_total: â\88\80f1,f2. f1 â\8b\93 f2 â\89¡ f1 ∪ f2.
+axiom sor_total: â\88\80f1,f2. f1 â\8b\93 f2 â\89\98 f1 ∪ f2.