Makefile revision f1541d4a151dbd08002dbd14e7eb1d5dde253689
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree f1541d4a151dbd08002dbd14e7eb1d5dde253689:
1a6464613c59e35072b90ca296ae402cbe956144Christian Maeder
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDriver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederHatchet/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederINSTALL
96ef2e46d048c357927f2795a40e9e66f21b85fbSonja GröningIsabelle/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLICENCE.txt
e1905890322767ae24c4594d80e31877037f4055Klaus LuettichLIZENZ.txt
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichLogic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLottery/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederModal/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichOWL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederProofs/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersREADME
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederReleaseMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederStatic/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSyntax/
caf544dc9b8f02e05e37786681153f5660e67f64Martin KühlTaxonomy/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTest.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederToHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.lst
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.sh
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdocs/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederfgl/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederghc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhaterm-1.0/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhugs/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhxt/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersideas
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederinstall.sh
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermini/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckerstest/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertodo
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederutils/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederversion_nr
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder