mod change (-x)

[helm.git] / helm / software / matita / contribs / formal_topology / bin / comb.ml

diff --git a/helm/software/matita/contribs/formal_topology/bin/comb.ml b/helm/software/matita/contribs/formal_topology/bin/comb.ml
old mode 100755 (executable)
new mode 100644 (file)
index 5734c61..f998b88
--- a/helm/software/matita/contribs/formal_topology/bin/comb.ml
+++ b/helm/software/matita/contribs/formal_topology/bin/comb.ml
@@ -16,6 +16,16 @@ cMw = CMw
 -MMw = -w
 -MCw = MMCw
 iw = w
+
+
+  s <= s'            s <= s'         s <= s'           s <= s'
+===========        ===========     ============      ==========
+ ws <= Cws'         Cs <= Cs'       CMs' <= Ms       Ms' <= MCs
+
+  s <= s'          s <= s'
+===========     ============
+ s <= MMs'        Ms' <= Ms
+
 *)
 
 type t = M | I | C