Changeset 12720

Show
Ignore:
Timestamp:
26.10.2009 12:09:40 (4 weeks ago)
Author:
maeder
Message:

changed comment only

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Comorphisms/CASL2PCFOL.hs

    r12719 r12720  
    146146mkProjName = mkAxName "projection" 
    147147 
    148 -- | create an existential equation over x of sort s 
     148-- | create a quantified existential equation over x of sort s 
    149149mkXExEq :: SORT -> (TERM () -> TERM ()) -> (TERM () -> TERM ()) -> FORMULA () 
    150150mkXExEq s fl fr = let