Changeset 12751

Timestamp:

29.10.2009 16:34:31 (3 weeks ago)

Author:

kristina

Message:

Removed too long lines

Location:

trunk/DFOL

Files:

• Colimit.hs (modified) (1 diff)
• Morphism.hs (modified) (2 diffs)

trunk/DFOL/Colimit.hs

@@ -30 +30 @@
           3.1.2 If yes:
                 3.1.2.1 Recover from M the value "c" that s' maps to
-                                3.1.2.2 Update m by adding the pair (s,c)
-                  3.1.3 If no:
+                3.1.2.2 Update m by adding the pair (s,c)
+          3.1.3 If no:
                 3.1.3.1 Get the type "t" of s in sig1
                 3.1.3.2 Translate t along m; call this new type "t1"
                 3.1.3.3 Update sig by adding the declaration s : t1
                         (in case the name s is already contained in sig,
-                                                we generate a fresh name "s1" and add the declaration
+                        we generate a fresh name "s1" and add the declaration
                         s1 : t and pair (s,s1) to sig and m respectively.
     3.3 : Add m to M

trunk/DFOL/Morphism.hs

@@ -113 +113 @@
 3 : Check if todo is empty
     3.1 : If yes, go to 5
-        3.2 : If not, go to 4
+    3.2 : If not, go to 4
 
 4 : Pick a symbol "s" from todo
     4.1 : Get the type "t" of s in sig
-        4.2 : Get the set "vars" of free variables in t, i.e. the symbols of sig
+    4.2 : Get the set "vars" of free variables in t, i.e. the symbols of sig
           that t depends on
     4.3 : For each "v" in vars :
@@ -141 +141 @@
     3.1 : If s does not occur in excl :
           4.1 : Get the type "t" of s in sig
-              4.2 : Get the set "vars" of free variables in t, i.e. the symbols
-                    of sig that t depends on
+          4.2 : Get the set "vars" of free variables in t, i.e. the symbols
+                of sig that t depends on
           4.3 : If any of the symbols in vars occurs in excl, add s to excl