Cross Reference:
xref
: /
hets
/
OWL2
/
java
/
de
/
unibremen
/
informatik
/
universe.hpp
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
universe.hpp revision 2062
0
N/A
tree
2062
:
962
N/A
0
N/A
ATC
.
hs
0
N/A
ATC
/
0
N/A
CASL
.
hs
0
N/A
CASL
/
553
N/A
CASL_DL
.
hs
0
N/A
CASL_DL
/
553
N/A
COL
.
hs
0
N/A
COL
/
0
N/A
CoCASL
.
hs
0
N/A
CoCASL
/
0
N/A
Common
.
hs
0
N/A
Common
/
0
N/A
Comorphisms
.
hs
0
N/A
Comorphisms
/
0
N/A
ConstraintCASL
/
0
N/A
CspCASL
.
hs
0
N/A
CspCASL
/
0
N/A
Driver
.
hs
553
N/A
Driver
/
553
N/A
GUI
.
hs
553
N/A
GUI
/
0
N/A
HasCASL
.
hs
0
N/A
HasCASL
/
962
N/A
Haskell
.
hs
962
N/A
Haskell
/
962
N/A
Hatchet
/
962
N/A
Hets
-
Haddock
-
Prologue
.
txt
962
N/A
INSTALL
962
N/A
Isabelle
.
hs
962
N/A
Isabelle
/
962
N/A
LICENCE
.
txt
962
N/A
LICENSE
.
txt
962
N/A
LIZENZ
.
txt
962
N/A
Logic
.
hs
962
N/A
Logic
/
962
N/A
Lottery
/
962
N/A
Makefile
962
N/A
Modal
.
hs
962
N/A
Modal
/
962
N/A
OMDoc
/
962
N/A
OWL_DL
.
hs
962
N/A
OWL_DL
/
962
N/A
Proofs
.
hs
962
N/A
Proofs
/
962
N/A
README
962
N/A
ReleaseMakefile
962
N/A
SPASS
.
hs
962
N/A
SPASS
/
962
N/A
Static
.
hs
962
N/A
Static
/
962
N/A
Syntax
/
962
N/A
Taxonomy
.
hs
962
N/A
Taxonomy
/
962
N/A
Test
.
hs
0
N/A
ToHaskell
/
0
N/A
clean
.
lst
0
N/A
clean
.
sh
0
N/A
cvs
-
howto
962
N/A
doc
/
860
N/A
fgl
/
962
N/A
hets
.
hs
860
N/A
hets
.
in
962
N/A
hxt
/
860
N/A
ideas
962
N/A
mini
/
1163
N/A
pretty
/
1163
N/A
test
/
1163
N/A
todo
1163
N/A
utils
/
1163
N/A
version_nr
962
N/A