Changeset 12713

Show
Ignore:
Timestamp:
24.10.2009 22:13:03 (4 weeks ago)
Author:
kristina
Message:

Added a missing view

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/DFOL/Tests/Colimits1.het

    r12710 r12713  
    1313end 
    1414 
     15spec SP4 = SP1 then 
     16t :: Sort 
     17end 
     18 
    1519view v1 : SP1 to SP2 
    16 view v2 : SP1 to SP2 
    17  
     20view v2 : SP1 to SP3 
     21view v3 : SP1 to SP4