Makefile revision 5e5d3e82af3bc2834f8718a52d9f45da80220273
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maedertree 5e5d3e82af3bc2834f8718a52d9f45da80220273:
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederATC.hs
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiATC/
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCASL.hs
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCASL/
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCASL_DL.hs
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCASL_DL/
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCOL.hs
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCOL/
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCoCASL.hs
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCoCASL/
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCommon.hs
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederCommon/
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederComorphisms.hs
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian MaederComorphisms/
ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian MaederConstraintCASL/
1d589334ba6b4a4cbfb35307a7a732261e77b0cdChristian MaederCspCASL.hs
1d589334ba6b4a4cbfb35307a7a732261e77b0cdChristian MaederCspCASL/
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederDL.hs
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederDL/
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederDriver.hs
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian MaederDriver/
ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian MaederGMP/
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederGUI.hs
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian MaederGUI/
33a5d53a412ba0a4e5847f7538d6da2e22bd116cChristian MaederHasCASL.hs
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederHasCASL/
e774ab5733a1d673b123b0e63b14dd533e6fd4fcChristian MaederHaskell.hs
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederHaskell/
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederHets-Haddock-Prologue.txt
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederHets.cabal
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederINSTALL
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederIsabelle.hs
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederIsabelle/
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederLICENSE.txt
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederLIZENZ.txt
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederLogic.hs
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederLogic/
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederLottery/
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederMakefile
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederMakefile.installer
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederModal.hs
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederModal/
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederModifications/
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederOMDoc/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederOWL.hs
38775225cf810f5895cc03b4acbcfe8f84f2513aChristian MaederOWL/
ccf3de3d66b521a260e5c22d335c64a48e3f0195Christian MaederPGIP.hs
ccf3de3d66b521a260e5c22d335c64a48e3f0195Christian MaederPGIP/
ccf3de3d66b521a260e5c22d335c64a48e3f0195Christian MaederProofs.hs
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian MaederProofs/
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian MaederPropositional.hs
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederPropositional/
ccf3de3d66b521a260e5c22d335c64a48e3f0195Christian MaederREADME
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederREADME.installer
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederRelationalScheme.hs
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederRelationalScheme/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederReleaseMakefile
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederSearch/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederSoftFOL.hs
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederSoftFOL/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederStatic.hs
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederStatic/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederSyntax/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian MaederTaxonomy.hs
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederTaxonomy/
715ffaf874309df081d1e1cd8e05073fc1227729Christian MaederTest.hs
d17834302eaa101395b4b806cd73670fd864445fChristian MaederToHaskell/
ccf3de3d66b521a260e5c22d335c64a48e3f0195Christian Maederclean.lst
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maederclean.sh
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maederdoc/
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maederhaifa-lite/
715ffaf874309df081d1e1cd8e05073fc1227729Christian Maederhets.hs
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maederhets.in
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maederideas
715ffaf874309df081d1e1cd8e05073fc1227729Christian Maedermini/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian Maederpretty/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian Maedersample-ghci-script
715ffaf874309df081d1e1cd8e05073fc1227729Christian Maedersyb-generics/
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian Maedertest/
715ffaf874309df081d1e1cd8e05073fc1227729Christian Maedertodo
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8Christian Maederutils/
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maederversion_nr
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maeder