Makefile revision 2e7f583fa02540873fd5e70f57c704bee2bdc18a
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian Maedertree 2e7f583fa02540873fd5e70f57c704bee2bdc18a:
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maeder
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian MaederATC.hs
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederATC/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCASL.hs
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiCASL/
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCASL_DL.hs
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCASL_DL/
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCOL.hs
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederCOL/
44fb55f639914f4f531641f32dd4904f15c510a4Till MossakowskiCoCASL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCoCASL/
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCommon.hs
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCommon/
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederComorphisms.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiComorphisms/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiConstraintCASL/
5c602504f85bbac7ddf0226064452bdc7d4a8cd8Till MossakowskiCspCASL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCspCASL/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiDriver.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiDriver/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiGMP/
ae7058143db9e9993b5eff70bd6b7aede7cec658Till MossakowskiGUI.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiGUI/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiHasCASL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiHasCASL/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiHaskell.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiHaskell/
922819b1c2d383a0fa5d70e1c4aa76667e2f1ca3Christian MaederHets-Haddock-Prologue.txt
0647a6c86b231e391826c7715338ba29cb4934c0Christian MaederHets.cabal
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederINSTALL
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederIsabelle.hs
19298cbfd6ee2abd904f3181af7760b965b822c3Christian MaederIsabelle/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLICENCE.txt
59fa9b1349ae1e001d996da732c4ac805c2938e2Christian MaederLICENSE.txt
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLIZENZ.txt
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLogic.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLogic/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLottery/
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederMakefile
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiMakefile.installer
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiModal.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiModal/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiModifications/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiOMDoc/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiOWL_DL.hs
d85e3f253f6af237c4b70bbfacb1bfecb5cfa678Christian MaederOWL_DL/
d85e3f253f6af237c4b70bbfacb1bfecb5cfa678Christian MaederPGIP.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiPGIP/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiProofs.hs
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiProofs/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiPropositional.hs
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922Till MossakowskiPropositional/
8731f7b93b26083dc34a2c0937cd6493b42f2c2cTill MossakowskiREADME
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922Till MossakowskiREADME.installer
8731f7b93b26083dc34a2c0937cd6493b42f2c2cTill MossakowskiReleaseMakefile
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiSoftFOL.hs
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiSoftFOL/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiStatic.hs
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiStatic/
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederSyntax/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiTaxonomy.hs
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederTaxonomy/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiTest.hs
5d6e7ea3bd14fc987436cff0f542393ea9ba34bbTill MossakowskiToHaskell/
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian Maederclean.lst
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian Maederclean.sh
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian Maederdoc/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskihaifa-lite/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskihets.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskihets.in
0647a6c86b231e391826c7715338ba29cb4934c0Christian Maederideas
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskimini/
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskipretty/
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskisample-ghci-script
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskisyb-generics/
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maedertest/
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maedertodo
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maederutils/
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maederversion_nr
19298cbfd6ee2abd904f3181af7760b965b822c3Christian Maeder