Lines Matching refs:sign
1506 sign must be omitted, too.
1991 class Logic lid sign morphism sentence basic_spec symbol_map
1992 | lid -> sign morphism sentence basic_spec symbol_map where
1993 identity :: lid -> sign -> morphism
1995 dom, codom :: lid -> morphism -> sign
1999 empty_signature :: lid -> sign
2000 basic_analysis :: lid -> sign -> basic_spec -> (sign, [sentence])
2001 stat_symbol_map :: lid -> sign -> symbol_map -> morphism
2004 lid -> [(sign, [sentence]) -> [sentence] -> Proof_status]
2005 cons_checkers :: lid -> [(sign, [sentence]) -> Proof_status]