Cross Reference:
xref
: /
hets
/
DL.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
DL.hs revision 08a9ed51994f61c84bbbd38650e446d491790859
{- |
DL is a Description Logic with a human readable syntax
-}
module DL where