hets/ExtModal/ServerDescriptor.java

	ServerDescriptor.java revision 3858
tree 3858:

AS_Basic_CASL.der.hs
AlphaConvert.hs
Amalgamability.hs
CCC/
CompositionTable/
Fold.hs
Formula.hs
Inject.hs
Kif.hs
Kif2CASL.hs
LiteralFuns.hs
Logic_CASL.hs
Makefile
MapSentence.hs
MixfixParser.hs
Morphism.hs
OpItem.hs
Overload.hs
Parse_AS_Basic.hs
Project.hs
Quantification.hs
RunMixfixParser.hs
RunStaticAna.hs
ShowMixfix.hs
Sign.hs
Simplify.hs
SimplifySen.hs
SortItem.hs
StaticAna.hs
Sublogic.hs
SymbolMapAnalysis.hs
SymbolParser.hs
Taxonomy.hs
Termination/
ToDoc.hs
Utils.hs
asf/
capa.hs
doc/
fromKif.hs
ghc-call
iterate.sh
test/