Changeset 12747

Show
Ignore:
Timestamp:
29.10.2009 10:11:48 (3 weeks ago)
Author:
maeder
Message:

re-added cons-checker sublogic

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Comorphisms/HetLogicGraph.hs

    r12745 r12747  
    2424 
    2525import Logic.Logic 
    26 import Logic.Prover (proverSublogic) 
     26import Logic.Prover 
    2727import Logic.Comorphism 
    2828import Logic.Grothendieck 
    … …  
    6868                                       in (show gsl,gsl) 
    6969                        top_gsl = toGSLPair $ top_sublogic lid 
    70                         getPrvSL = map proverSublogic 
    71                         prv_sls = getPrvSL (provers lid) 
     70                        prv_sls = map proverSublogic (provers lid) 
     71                          ++ map ccSublogic (cons_checkers lid) 
    7272                    in Map.union mp $ 
    7373                       Map.fromList (top_gsl :