Makefile revision 9ebbce450fb242e1a346f9f89367d8c46fcb2ec8
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maedertree 9ebbce450fb242e1a346f9f89367d8c46fcb2ec8:
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maeder
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederATC.hs
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederATC/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederCASL.hs
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiCASL/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederCASL_DL.hs
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederCASL_DL/
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCOL.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederCOL/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederCoCASL.hs
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederCoCASL/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederCommon.hs
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederCommon/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederComorphisms.hs
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederComorphisms/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederConstraintCASL/
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian MaederCspCASL.hs
35db0960aa2e2a13652381c756fae5fb2b27213bChristian MaederCspCASL/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederDriver.hs
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederDriver/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederGUI.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederGUI/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederHasCASL.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederHasCASL/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederHaskell.hs
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederHaskell/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederHets-Haddock-Prologue.txt
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederINSTALL
76647324ed70f33b95a881b536d883daccf9568dChristian MaederIsabelle.hs
6e5180855658f12f9059d9041f447bf0935de344Christian MaederIsabelle/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederLICENCE.txt
8a1f427564a5ae2db32332512237ef645289c34dChristian MaederLICENSE.txt
76647324ed70f33b95a881b536d883daccf9568dChristian MaederLIZENZ.txt
76647324ed70f33b95a881b536d883daccf9568dChristian MaederLogic.hs
76647324ed70f33b95a881b536d883daccf9568dChristian MaederLogic/
1865083b72c1307e9040d78c2743abd5a54ee260Christian MaederLottery/
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederMakefile
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederMakefile.installer
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian MaederModal.hs
76647324ed70f33b95a881b536d883daccf9568dChristian MaederModal/
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian MaederOMDoc/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederOWL_DL.hs
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian MaederOWL_DL/
76647324ed70f33b95a881b536d883daccf9568dChristian MaederPGIP.hs
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederPGIP/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederProofs.hs
8a1f427564a5ae2db32332512237ef645289c34dChristian MaederProofs/
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederPropositional.hs
b475a916d62584a2af5f51749240db7a5f0c8b82Christian MaederPropositional/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederREADME
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian MaederReleaseMakefile
ac510075311023bf24175f7a76b89ec2bbda0626Christian MaederSPASS.hs
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederSPASS/
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederStatic.hs
fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian MaederStatic/
4be371b81d055e03a5946e4ec333613f313d689bChristian MaederSyntax/
4be371b81d055e03a5946e4ec333613f313d689bChristian MaederTaxonomy.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederTaxonomy/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederTest.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian MaederToHaskell/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederclean.lst
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederclean.sh
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maedercvs-howto
4be371b81d055e03a5946e4ec333613f313d689bChristian Maederdoc/
4be371b81d055e03a5946e4ec333613f313d689bChristian Maederhaifa-lite/
4be371b81d055e03a5946e4ec333613f313d689bChristian Maederhets.hs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederhets.in
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederideas
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maedermini/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederpretty/
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maedersample-ghci-script
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maedersyb-generics/
4be371b81d055e03a5946e4ec333613f313d689bChristian Maedertest/
ac510075311023bf24175f7a76b89ec2bbda0626Christian Maedertodo
ac510075311023bf24175f7a76b89ec2bbda0626Christian Maederutils/
f0920567c5a918c34a69cdb6b56826ef49becfb5Christian Maederversion_nr
ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder