Makefile revision 29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowskitree 29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4:
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiATC.hs
e7eefd526faedd63acb8f91de5793368cfe67655Klaus LuettichATC/
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiCASL.hs
e7eefd526faedd63acb8f91de5793368cfe67655Klaus LuettichCASL/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCASL_DL.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCASL_DL/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCOL.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCOL/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCoCASL.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCoCASL/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCommon.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCommon/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiComorphisms.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiComorphisms/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiConstraintCASL/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCspCASL.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiCspCASL/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiDriver.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiDriver/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiGUI.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiGUI/
30256573a343132354b122097b0ee1215dda1364Till MossakowskiHasCASL.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiHasCASL/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiHaskell.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiHaskell/
30256573a343132354b122097b0ee1215dda1364Till MossakowskiHets-Haddock-Prologue.txt
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiINSTALL
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiIsabelle.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiIsabelle/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiLICENCE.txt
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiLICENSE.txt
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiLIZENZ.txt
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiLogic.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiLogic/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiLottery/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiMakefile
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiMakefile.installer
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiModal.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiModal/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiOMDoc/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiOWL_DL.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiOWL_DL/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiPGIP.hs
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiPGIP/
89118fd658073a87eddf4ead4bb63c6adb30550dTill MossakowskiProofs.hs
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiProofs/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiPropositional.hs
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiPropositional/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiREADME
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiREADME.installer
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiReleaseMakefile
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiSPASS.hs
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiSPASS/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiStatic.hs
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiStatic/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiSyntax/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiTaxonomy.hs
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiTaxonomy/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiTest.hs
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till MossakowskiToHaskell/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskiclean.lst
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskiclean.sh
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskicvs-howto
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskidoc/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskihaifa-lite/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskihets.hs
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskihets.in
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskiideas
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskimini/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskipretty/
a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Langesample-ghci-script
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskisyb-generics/
9c3b1fb1952bb78a1942fe612215f940fc8e5f31Till Mossakowskitest/
a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Langetodo
a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Langeutils/
a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Langeversion_nr
a22936ffa58b0b92b957098a1ebc75a22cc48f85Christoph Lange