Changeset 12731
- Timestamp:
- 26.10.2009 17:20:53 (4 weeks ago)
- Location:
- trunk
- Files:
-
- 7 modified
-
CMDL/ProcessScript.hs (modified) (1 diff)
-
CMDL/ProveConsistency.hs (modified) (1 diff)
-
Proofs/DGFlattening.hs (modified) (1 diff)
-
Proofs/TheoremHideShift.hs (modified) (1 diff)
-
SoftFOL/CreateDFGDoc.hs (modified) (1 diff)
-
Static/ComputeTheory.hs (modified) (1 diff)
-
Syntax/ToXml.hs (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/CMDL/ProcessScript.hs
r12667 r12731 22 22 import Common.Utils 23 23 24 import Data.Char25 import Data.Either26 24 import Data.List 27 25 -
trunk/CMDL/ProveConsistency.hs
r12661 r12731 54 54 swapMVar, modifyMVar_) 55 55 56 import System.IO(IO, putStrLn)57 56 import Control.Monad(when) 58 57 -
trunk/Proofs/DGFlattening.hs
r12602 r12731 63 63 import Static.GTheory 64 64 65 import Control.Monad66 65 import Data.Graph.Inductive.Graph hiding (empty) 67 66 import Data.List -
trunk/Proofs/TheoremHideShift.hs
r12493 r12731 42 42 import qualified Data.Map as Map 43 43 import Data.Maybe 44 import Control.Monad45 44 46 45 ------------------------------------------------ -
trunk/SoftFOL/CreateDFGDoc.hs
r12493 r12731 14 14 15 15 module SoftFOL.CreateDFGDoc (printTheoryAsSoftFOL) where 16 17 import Data.Maybe18 16 19 17 import Logic.Prover -
trunk/Static/ComputeTheory.hs
r12614 r12731 31 31 import Data.Graph.Inductive.Graph as Graph 32 32 import Data.List (sortBy) 33 import Control.Monad34 33 35 34 -- * nodes with incoming hiding definition links -
trunk/Syntax/ToXml.hs
r12523 r12731 32 32 33 33 import Data.Maybe 34 import Data.List35 34 36 35 xmlLibDefn :: GlobalAnnos -> LIB_DEFN -> Element
