Cross Reference: /hets/debian/Makefile

	Makefile revision c9a7e6af169a2adfb92f42331cd578065ed83a2b
7208N/Atree c9a7e6af169a2adfb92f42331cd578065ed83a2b:
7208N/A
7208N/AATC.hs
7208N/AATC/
7208N/ACASL.hs
7208N/ACASL/
7208N/ACASL_DL.hs
7208N/ACASL_DL/
7208N/ACOL.hs
7208N/ACOL/
7208N/ACoCASL.hs
7208N/ACoCASL/
7208N/ACommon.hs
7208N/ACommon/
7208N/AComorphisms.hs
7208N/AComorphisms/
7208N/AConstraintCASL/
7208N/ACspCASL.hs
7208N/ACspCASL/
7208N/ADL.hs
7208N/ADL/
7208N/ADriver.hs
7208N/ADriver/
7208N/AGMP/
7208N/AGUI.hs
7208N/AGUI/
7208N/AHasCASL.hs
7208N/AHasCASL/
7208N/AHaskell.hs
7208N/AHaskell/
7208N/AHets-Haddock-Prologue.txt
7208N/AHets.cabal
7208N/AINSTALL
7208N/AIsabelle.hs
7208N/AIsabelle/
7208N/ALICENSE.txt
7208N/ALIZENZ.txt
7208N/ALogic.hs
7208N/ALogic/
7208N/ALottery/
7208N/AMakefile
7208N/AMakefile.installer
7208N/AMaude/
7208N/AModal.hs
7208N/AModal/
7208N/AModifications/
7208N/AOMDoc.hs
7208N/AOMDoc/
7208N/AOWL.hs
7208N/AOWL/
7208N/APGIP.hs
7208N/APGIP/
7208N/AProofs.hs
7208N/AProofs/
7208N/APropositional.hs
7208N/APropositional/
7208N/AREADME
7208N/AREADME.installer
7208N/ARelationalScheme.hs
7208N/ARelationalScheme/
7208N/AReleaseMakefile
7208N/ASearch/
7208N/ASoftFOL.hs
7208N/ASoftFOL/
7208N/AStatic.hs
Static/
Syntax/
Taxonomy.hs
Taxonomy/
Test.hs
ToHaskell/
VSE/
clean.lst
clean.sh
doc/
haifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr