Makefile revision e50e41135ece589f7202bd4ef8d6b97531c2a56e
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertree e50e41135ece589f7202bd4ef8d6b97531c2a56e:
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian Maeder
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC.hs
25cc5fbba63f84b47e389af749f55abbbde71c8cChristian MaederATC/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCASL_DL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCoCASL/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCommon/
335039f3702f6a2584ede16128a00a51fd5b8bf8Jorina Freya GerkenComorphisms.hs
b9625461755578f3eed04676d42a63fd2caebd0cChristian MaederComorphisms/
c6fcd42c6d6d9dae8c7835c24fcb7ce8531a9050Christian MaederConstraintCASL/
ce8b15da31cd181b7e90593cbbca98f47eda29d6Till MossakowskiCspCASL.hs
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederCspCASL/
760ae19a92dde8249679a674f93f58d26a7c5f6bChristian MaederDriver.hs
760ae19a92dde8249679a674f93f58d26a7c5f6bChristian MaederDriver/
88c800932dd7053322501ea2039d9f234be6866cKlaus LuettichGUI.hs
8410667510a76409aca9bb24ff0eda0420088274Christian MaederGUI/
8410667510a76409aca9bb24ff0eda0420088274Christian MaederHasCASL.hs
8410667510a76409aca9bb24ff0eda0420088274Christian MaederHasCASL/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichHaskell.hs
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichHaskell/
fdb2d618144159395f7bf8ce3327b3c112a17dd3Till MossakowskiHatchet/
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichHets-Haddock-Prologue.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederINSTALL
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederIsabelle.hs
d67a33b40578beef2e255a274f89bb9c34aaf056Christian MaederIsabelle/
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederLICENCE.txt
e593b89bfd4952698dc37feced21cefe869d87a2Christian MaederLICENSE.txt
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian MaederLIZENZ.txt
6e049108aa87dc46bcff96fae50a4625df1d9648Klaus LuettichLogic.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLogic/
c6fcd42c6d6d9dae8c7835c24fcb7ce8531a9050Christian MaederLottery/
c6fcd42c6d6d9dae8c7835c24fcb7ce8531a9050Christian MaederMakefile
c6fcd42c6d6d9dae8c7835c24fcb7ce8531a9050Christian MaederModal.hs
31c49f2fa23d4ac089f35145d80a224deb6ea7e4Till MossakowskiModal/
c55a0f77be7e88d3620b419ec8961f4379a586e3Klaus LuettichOMDoc/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederOWL_DL.hs
857992065be4ed40a72c6296b6c0aec62ab4c5b9Christian MaederOWL_DL/
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus LuettichProofs.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederProofs/
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus LuettichREADME
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederReleaseMakefile
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederSPASS.hs
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus LuettichSPASS/
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus LuettichStatic.hs
f4505a64a089693012a3f5c3b1f12a82cd7a2a5aKlaus LuettichStatic/
5d4038657f6a63e131f5804af2f7957b69e15a43Klaus LuettichSyntax/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTaxonomy.hs
b0294d73dcefc502ddaa13e18b46103a5916971fTill MossakowskiTaxonomy/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederTest.hs
77a65251ee036c6aaf09c2775315a4ee24259fbdJorina Freya GerkenToHaskell/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.lst
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclean.sh
4d7d7f9a423490731c73403c7806bd66967da946Christian Maedercvs-howto
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederdoc/
97812b7ce9860bf514a8822a63503451795dbc65Klaus Luettichfgl/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.hs
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhets.in
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederhxt/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederideas
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedermini/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederpretty/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertest/
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedertodo
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckersutils/
4e7050bcbcf0f372a5bad32ecd0282bccabf0983Klaus Luettichversion_nr
ac0bbbcb2774629bb87986e69cf53d3402c5f575Christian Maeder