clean.lst revision ac0bbbcb2774629bb87986e69cf53d3402c5f575
ATC/ATCTest.hs
ATC/ATCTest2.hs
CASL/Makefile
CASL/RunMixfixParser.hs
CASL/RunStaticAna.hs
CASL/capa.lhs
CASL/ghc-call
CASL/test
CASL/iterate.sh
CSP-CASL
Common/LaTeX_maps.svmono.hs
Common/Makefile
Common/RunParsers.hs
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/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/RunMixfixParser.hs
HasCASL/RunStaticAna.hs
HasCASL/ghc-call
HasCASL/ghci-call
HasCASL/hacapa.lhs
HasCASL/test
Haskell/HParser.hs
Haskell/Logical.hs
Haskell/ghc-call
Haskell/hapa.lhs
Haskell/questions
Haskell/todo
Haskell/wrap.lhs
Haskell/Hatchet/Main.hs
Haskell/Language/Haskell
Lottery
Modal
Static/hetana.hs
Syntax/hetpa.hs
ToHaskell/Makefile
ToHaskell/Translate.hs
ToHaskell/check
ToHaskell/ghc-call
ToHaskell/hacapa.txt
ToHaskell/runcheck.sh
ToHaskell/translate.hs
ToHaskell/translateAna.hs
ToHaskell/test
ToHaskell
aterm_conv
distribution
fgl
haterm-1.0
hetcats/Algebra_I.tree.gen_trm
hetcats/README
hugs
mini
parsec
pretty
test
utils/DrIFT
utils/DrIFT.linux
utils/DrIFT.macintosh
utils/DrIFT.solaris
utils/ag
utils/ag.linux
utils/ag.solaris
utils/examine_doc_log.pl
utils/genRules
utils/genRules.linux
utils/genRules.macintosh
utils/genRules.solaris
utils/haddock
utils/haddock.linux
utils/haddock.solaris
utils/AG-src
utils/hd-lib