Makefile revision 63f0e65a37b95621334db9ee4ba0cd9d826f5c0f
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree 63f0e65a37b95621334db9ee4ba0cd9d826f5c0f:
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC/
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederComorphisms/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCspCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDriver/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederGUI/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHasCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHatchet/
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederINSTALL
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederIsabelle/
96ef2e46d048c357927f2795a40e9e66f21b85fbSonja GröningLICENCE.txt
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederLIZENZ.txt
e1905890322767ae24c4594d80e31877037f4055Klaus LuettichLogic/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichLottery/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederModal/
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederOWL_DL/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederProofs/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederREADME
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederReleaseMakefile
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederStatic/
c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus LuettichSyntax/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTaxonomy/
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian MaederTest.hs
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian MaederToHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.lst
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.sh
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdocs/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederfgl/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederghc/
5d4038657f6a63e131f5804af2f7957b69e15a43Klaus Luettichhaterm-1.0/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.hs
b0294d73dcefc502ddaa13e18b46103a5916971fTill Mossakowskihugs/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhxt/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maederideas
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederinstall.sh
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermini/
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckerstest/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertodo
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederutils/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederversion_nr
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder