Cross Reference:
xref
: /
hets
/
MMT
/
newLogicTemplates
/
Sign.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
Sign.hs revision 56213359305d26c4011562b704ea5d69e1182de4
module <LogicName>.Sign where
import
Common.Id
<insert>