Makefile revision c01168f53431b6ad785bf8a8b12bd3a60b93b9b4
c1d71ac637c449feb0a25369f029397e6a1f241cChristian Maedertree c01168f53431b6ad785bf8a8b12bd3a60b93b9b4:
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
2ecf6cfb90e84d40f224cda5d92c191182c976d2Till MossakowskiPGIP/
53310804002cd9e3c9c5844db3b984abcf001788Christian MaederProofs.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiProofs/
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederPropositional.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiPropositional/
5d6e7ea3bd14fc987436cff0f542393ea9ba34bbTill MossakowskiREADME
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederREADME.installer
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederReleaseMakefile
a89e661aad28f1b39f4fc9f9f9a4d46074234123Christian MaederSoftFOL.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiSoftFOL/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiStatic.hs
e9249d3ecd51a2b6a966a58669953e58d703adc6Till MossakowskiStatic/
0647a6c86b231e391826c7715338ba29cb4934c0Christian MaederSyntax/
a98fd29a06e80e447af26d898044c23497adbc73Mihai CodescuTaxonomy.hs
a98fd29a06e80e447af26d898044c23497adbc73Mihai CodescuTaxonomy/
a98fd29a06e80e447af26d898044c23497adbc73Mihai CodescuTest.hs
a98fd29a06e80e447af26d898044c23497adbc73Mihai CodescuToHaskell/
a98fd29a06e80e447af26d898044c23497adbc73Mihai Codescuclean.lst
a98fd29a06e80e447af26d898044c23497adbc73Mihai Codescuclean.sh
f2c050360525df494e6115073b0edc4c443a847cMihai Codescudoc/
f2c050360525df494e6115073b0edc4c443a847cMihai Codescuhaifa-lite/
f2c050360525df494e6115073b0edc4c443a847cMihai Codescuhets.hs
f2c050360525df494e6115073b0edc4c443a847cMihai Codescuhets.in
f2c050360525df494e6115073b0edc4c443a847cMihai Codescuideas
f2c050360525df494e6115073b0edc4c443a847cMihai Codescumini/
f2c050360525df494e6115073b0edc4c443a847cMihai Codescupretty/
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskisample-ghci-script
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskisyb-generics/
0e51a998b1b213654c7a9eca451562041971f100Till Mossakowskitest/
e9249d3ecd51a2b6a966a58669953e58d703adc6Till Mossakowskitodo
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maederutils/
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maederversion_nr
5c358300e78157f4bfaf5415c70e1096a9205b61Christian Maeder