Changeset 12723

Timestamp:

26.10.2009 13:09:31 (4 weeks ago)

Author:

maeder

Message:

changed to ASCII

Location:

trunk

Files:

• CASL/Freeness.hs (modified) (6 diffs)
• CoCASL.hs (modified) (1 diff)
• Comorphisms/Maude2CASL.hs (modified) (1 diff)

trunk/CASL/Freeness.hs

@@ -16 +16 @@
 import CASL.Sign
 import CASL.Morphism
-import CASL.Sublogic
 import CASL.StaticAna
---import CASL.Logic_CASL ()
+
 import CASL.AS_Basic_CASL
+
+import Logic.Prover ()
 
 import Common.Id
@@ -25 +26 @@
 import Common.AS_Annotation
 import qualified Common.Lib.Rel as Rel
-
-import Logic.Logic
 
 import Data.Char
@@ -68 +67 @@
 create_axs :: Set.Set SORT -> CASLSign -> CASLSign -> [Named CASLFORMULA]
               -> [Named CASLFORMULA]
-create_axs sg_ss sg_m sg_k sens = forms 
+create_axs sg_ss sg_m sg_k sens = forms
       where ss_m = sortSet sg_m
             ss = Set.map mkFreeName $ Set.difference ss_m sg_ss
@@ -108 +107 @@
             q_eq = quantifyUniversally eq
 
--- |Â computes the last part of the axioms to assert the kernel of h
+-- | computes the last part of the axioms to assert the kernel of h
 larger_then_ker_h :: Set.Set SORT -> Map.Map Id (Set.Set PredType) -> CASLFORMULA
 larger_then_ker_h ss mis = conj
@@ -275 +274 @@
 psiName s = mkId [mkSimpleId $ "Psi_" ++ show s]
 
--- |Â creates the axiom for the kernel of h given the sorts and the predicates
+-- | creates the axiom for the kernel of h given the sorts and the predicates
 -- in M, the premises and the conclusion
-mkKernelAx :: Set.Set SORT -> Map.Map Id (Set.Set PredType) -> CASLFORMULA 
+mkKernelAx :: Set.Set SORT -> Map.Map Id (Set.Set PredType) -> CASLFORMULA
               -> CASLFORMULA -> Named CASLFORMULA
 mkKernelAx ss preds prem conc = makeNamed "freeness_kernel" q2
@@ -386 +385 @@
       where f = \ x y -> (sort_surj x) : y
 
--- |Â generates the formula to state the homomorphism is surjective
+-- | generates the formula to state the homomorphism is surjective
 sort_surj :: SORT -> Named CASLFORMULA
 sort_surj s = form'

trunk/CoCASL.hs

@@ -12 +12 @@
 
 CoCASL is the coalgebraic extension of CASL.  See /Till
-Mossakowski, Lutz Schröder, Markus Roggenbach, Horst
+Mossakowski, Lutz Schroeder, Markus Roggenbach, Horst
 Reichel. Algebraic-co-algebraic specification in CoCASL. Journal of
 Logic and Algebraic Programming. To appear./

trunk/Comorphisms/Maude2CASL.hs

@@ -2 +2 @@
 Module      :  $Header$
 Description :  Coding of Maude with preorder semantics into CASL
-Copyright   :  (c) Adri‡n Riesco and Uni Bremen 2007
+Copyright   :  (c) Adrian Riesco and Uni Bremen 2007
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt