Changeset 12795
- Timestamp:
- 06.11.2009 18:44:05 (2 weeks ago)
- Files:
-
- 1 modified
-
trunk/HasCASL/TypeAna.hs (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/HasCASL/TypeAna.hs
r12784 r12795 29 29 import Control.Monad 30 30 31 -- * infer kind31 -- * infer kind 32 32 33 33 -- | extract kinds of type identifier