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