clean.lst

ATC/doc
ATC/ATCTest.hs
ATC/ATCTest2.hs

CASL/Makefile
CASL/RunMixfixParser.hs
CASL/RunStaticAna.hs
CASL/capa.hs
CASL/ghc-call
CASL/doc
CASL/test
CASL/iterate.sh

CSP-CASL

Common/CaslLanguage.hs
Common/LaTeX_maps.svmono.hs
Common/Makefile
Common/RunParsers.hs
Common/doc
Common/test
Common/annos.hs
Common/ghc-call
Common/test_parser.hs

Common/ATerm/ATermLibTest.hs
Common/Lib/Graph

Common/Lib/Parsec/Expr.hs
Common/Lib/Parsec/Language.hs
Common/Lib/Parsec/Perm.hs
Common/Lib/Parsec/Token.hs
Common/Lib/Text
Common/test

CspCASL/Doku
CspCASL/FileAttributes.csp-casl
CspCASL/Main.hs
CspCASL/ghc-call
CspCASL/print-call
CspCASL/print_csp.hs
CspCASL/test3.csp-casl
CspCASL/tests

GUI/hetdg.hs
GUI/todo

HasCASL/Makefile
HasCASL/RunMixfixParser.hs
HasCASL/RunStaticAna.hs
HasCASL/doc/StaticAna.tex
HasCASL/ghc-call
HasCASL/ghci-call
HasCASL/hacapa.hs
HasCASL/test

Haskell/HParser.hs
Haskell/Language.hs
Haskell/Logical.hs
Haskell/ghc-call
Haskell/hapa.lhs
Haskell/hapa.hs
Haskell/questions
Haskell/todo
Haskell/wrap.lhs

Haskell/Hatchet/Main.hs
Haskell/Language
Lottery
Modal/Basic.mod
Static/hetana.hs
Syntax/hetpa.hs
ToHaskell/Makefile
ToHaskell/Translate.hs
ToHaskell/check
ToHaskell/example
ToHaskell/ghc-call
ToHaskell/hacapa.txt
ToHaskell/runcheck.sh
ToHaskell/translate.hs
ToHaskell/translateAna.hs
ToHaskell/test
aterm_conv
distribution

docs

fgl
haterm-1.0  

hetcats/Algebra_I.tree.gen_trm
hetcats/README

doc
ideas
mini
parsec
pretty
test
todo

utils/outlineAxioms
utils/DrIFT
utils/ag
utils/cp_binary.mk
utils/examine_doc_log.pl
utils/genRules
utils/haddock
utils/haddock.solaris
utils/AG-src
utils/hd-lib
utils/post_process_docs.pl