Makefile revision 2e7f583fa02540873fd5e70f57c704bee2bdc18a
c1d71ac637c449feb0a25369f029397e6a1f241cChristian Maedertree 2e7f583fa02540873fd5e70f57c704bee2bdc18a:
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian Maeder
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederATC.hs
9f87aabedf02d74917d94fe1ac0300e07d3d4bc2Christian MaederATC/
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian MaederCASL.hs
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederCASL/
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiCASL_DL.hs
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCASL_DL/
306763c67bb99228487345b32ab8c5c6cd41f23cChristian MaederCOL.hs
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCOL/
9f87aabedf02d74917d94fe1ac0300e07d3d4bc2Christian MaederCoCASL.hs
44fb55f639914f4f531641f32dd4904f15c510a4Till MossakowskiCoCASL/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCommon.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCommon/
af0cbe339851fc558d2b18cde3666981325e667cTill MossakowskiComorphisms.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiComorphisms/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiConstraintCASL/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCspCASL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiCspCASL/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiDriver.hs
922819b1c2d383a0fa5d70e1c4aa76667e2f1ca3Christian MaederDriver/
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederGMP/
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederGUI.hs
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederGUI/
19298cbfd6ee2abd904f3181af7760b965b822c3Christian MaederHasCASL.hs
9f87aabedf02d74917d94fe1ac0300e07d3d4bc2Christian MaederHasCASL/
9f87aabedf02d74917d94fe1ac0300e07d3d4bc2Christian MaederHaskell.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiHaskell/
59fa9b1349ae1e001d996da732c4ac805c2938e2Christian MaederHets-Haddock-Prologue.txt
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiHets.cabal
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiINSTALL
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiIsabelle.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiIsabelle/
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederLICENCE.txt
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLICENSE.txt
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLIZENZ.txt
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLogic.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLogic/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiLottery/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiMakefile
d85e3f253f6af237c4b70bbfacb1bfecb5cfa678Christian MaederMakefile.installer
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiModal.hs
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiModal/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiModifications/
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922Till MossakowskiOMDoc/
8731f7b93b26083dc34a2c0937cd6493b42f2c2cTill MossakowskiOWL_DL.hs
4184cb191a9081cb2a9cf3ef5f060f56f0ca5922Till MossakowskiOWL_DL/
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiPGIP.hs
bba825b39570777866d560bfde3807731131097eKlaus LuettichPGIP/
bba825b39570777866d560bfde3807731131097eKlaus LuettichProofs.hs
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederProofs/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiPropositional.hs
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederPropositional/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiREADME
5d6e7ea3bd14fc987436cff0f542393ea9ba34bbTill MossakowskiREADME.installer
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederReleaseMakefile
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederSoftFOL.hs
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederSoftFOL/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiStatic.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiStatic/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiSyntax/
0647a6c86b231e391826c7715338ba29cb4934c0Christian MaederTaxonomy.hs
a98fd29a06e80e447af26d898044c23497adbc73Mihai CodescuTaxonomy/
a98fd29a06e80e447af26d898044c23497adbc73Mihai CodescuTest.hs
a98fd29a06e80e447af26d898044c23497adbc73Mihai CodescuToHaskell/
a98fd29a06e80e447af26d898044c23497adbc73Mihai Codescuclean.lst
a98fd29a06e80e447af26d898044c23497adbc73Mihai Codescuclean.sh
a98fd29a06e80e447af26d898044c23497adbc73Mihai Codescudoc/
f2c050360525df494e6115073b0edc4c443a847cMihai Codescuhaifa-lite/
f2c050360525df494e6115073b0edc4c443a847cMihai Codescuhets.hs
f2c050360525df494e6115073b0edc4c443a847cMihai Codescuhets.in
f2c050360525df494e6115073b0edc4c443a847cMihai Codescuideas
f2c050360525df494e6115073b0edc4c443a847cMihai Codescumini/
f2c050360525df494e6115073b0edc4c443a847cMihai Codescupretty/
f2c050360525df494e6115073b0edc4c443a847cMihai Codescusample-ghci-script
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskisyb-generics/
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskitest/
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskitodo
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskiutils/
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maederversion_nr
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maeder