
docs/                                   IFIP
latex/casl.sty                          Peter D. Mosses
latex/hetcasl.sty                       University of Bremen
latex/hascasl                           Peter Pepper, TU Berlin, and Christian Maeder, University of Bremen
tools/cats/                             Till Mossakowski, Bartek Klin, Frederic Voisin, University of Bremen
tools/cats/contrib/dot*                 AT&T Corp.
tools/cats/contrib                      Stichting Mathematisch Centrum, Amsterdam, The Netherlands
tools/cats/basic/                       Markus Roggenbach, Till Mossakowski, Lutz Schrder, University of Bremen
tools/cats/src/isa_98                   University of Cambridge, Cambridge, England
tools/cats/src/fxp                      Andreas Neumann and Alexandru Berlea, University of Trier
tools/hets/                             Till Mossakowski, Christian Maeder, Klaus Lttich, University of Bremen
tools/hets/*/davinci_v2.1               Mattias Werner, Michael Frhlich, University of Bremen
tools/hets/uni/                         George Russell, Christoph Lth, University of Bremen
tools/hets/uni/haxml-1.11               Malcolm Wallace and Colin Runciman
tools/hets/uni/haxml-1.11/examples/openoffice.org  Sun Microsystems, Inc.
tools/hets/uni/haxml-1.11/examples/smil W3C (MIT, INRIA, Keio)
tools/hets/uni/mmiss/checker/src/       Mark Kantrowitz; AG Siekmann, Fachbereich Informatik, Saarbrcken
tools/hets/src/haskell/hatchet          Mark Jones and The Hatchet Team
tools/hets/src/haskell/hatchet/finitemaps.hs  Manuel M. T. Chakravarty
tools/hets/src/haskell/language         Simon Marlow, Sven Panne, The GHC Team
tools/hets/src/common/lib/graphs.hs     Martin Erwig
tools/hets/src/common/lib/set.hs        Daan Leijen
tools/hets/src/common/lib/map.hs        Daan Leijen
tools/hets/src/common/lib/parsec        Daan Leijen
tools/hets/src/common/lib/pretty.hs     The University of Glasgow
tools/hets/src/common/lib/state.hs      Andy Gill and the Oregon Graduate Institute of Science and Technology
tools/hets/src/utils/drift-src          Noel Winstanley, Malcolm Wallace, Joost Visser, John Meacham
tools/hol-casl/                         Till Mossakowski, University of Bremen
                                        and University of Cambridge, Cambridge, England
libraries/casl/                         Till Mossakowski, University of Bremen
libraries/basic/                        Markus Roggenbach, Till Mossakowski, Lutz Schrder, University of Bremen
libraries/casestudies/interpreter.casl  Markus Roggenbach, University of Bremen
libraries/casestudies/invoice.casl      Didier Bert, Hubert Baumeister
libraries/casestudies/sorting.casl      Till Mossakowski, University of Bremen
libraries/casestudies/unification.casl  Patricia D. L. Machado
libraries/usermanual/                   Peter D. Mosses and Michel Bidoit
libraries/testsuite/                    Till Mossakowski, Christian Maeder, University of Bremen
libraries/hascasl/                      Till Mossakowski, Christian Maeder, University of Bremen
