Makefile revision 9f4362a04e0f381642ddf86fd81a43f2b56f1b96
ca010363454de207082dfaa4b753531ce2a34551Christian Maedertree 9f4362a04e0f381642ddf86fd81a43f2b56f1b96:
ca010363454de207082dfaa4b753531ce2a34551Christian Maeder
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian MaederATC.hs
49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian MaederATC/
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuCASL.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCASL/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederCASL_DL.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCASL_DL/
49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian MaederCOL.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCOL/
79d11c2e3ad242ebb241f5d4a5e98a674c0b986fChristian MaederCoCASL.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCoCASL/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCommon.hs
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederCommon/
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederComorphisms.hs
1eb10c0c30323eed3cc21082fd242cd09a612dc5Christian MaederComorphisms/
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederConstraintCASL/
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederCspCASL.hs
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederCspCASL/
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederDriver.hs
d27877901128f04518461d25b96d2d93a13f01e4Christian MaederDriver/
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederGMP/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederGUI.hs
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederGUI/
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederHasCASL.hs
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederHasCASL/
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6Christian MaederHaskell.hs
53301de22afd7190981b363b57c48df86fcb50f7Christian MaederHaskell/
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederHets-Haddock-Prologue.txt
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederHets.cabal
23f8d286586ff38a9e73052b2c7c04c62c5c638fChristian MaederINSTALL
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederIsabelle.hs
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederIsabelle/
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederLICENCE.txt
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian MaederLICENSE.txt
e68f45f355ed9d4026ee9baff5aa75aa7c911cc2Christian MaederLIZENZ.txt
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederLogic.hs
fc8c6570c7b4ee13f375eb607bed2290438573bfChristian MaederLogic/
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederLottery/
53301de22afd7190981b363b57c48df86fcb50f7Christian MaederMakefile
028f19cdb09d52bb2fd207399b6fa874540d1670Christian MaederMakefile.installer
53301de22afd7190981b363b57c48df86fcb50f7Christian MaederModal.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederModal/
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian MaederModifications/
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian MaederOMDoc/
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian MaederOWL_DL.hs
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian MaederOWL_DL/
fc8c6570c7b4ee13f375eb607bed2290438573bfChristian MaederPGIP.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederPGIP/
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian MaederProofs.hs
72b9099aeec0762bae4546db3bc4b48721027bf4Christian MaederProofs/
53301de22afd7190981b363b57c48df86fcb50f7Christian MaederPropositional.hs
53301de22afd7190981b363b57c48df86fcb50f7Christian MaederPropositional/
49fc18b4bb1d4a8d3ec05e0cffd5f0475b289592Christian MaederREADME
53301de22afd7190981b363b57c48df86fcb50f7Christian MaederREADME.installer
53301de22afd7190981b363b57c48df86fcb50f7Christian MaederReleaseMakefile
0a39036fa485579a7b7c81cdd44a412392571927Christian MaederSoftFOL.hs
da2b959c50c95309d8eb8b24174249c2847e74b5Christian MaederSoftFOL/
0a39036fa485579a7b7c81cdd44a412392571927Christian MaederStatic.hs
9c07aad044613547d61ab235665c08adcef03a1cChristian MaederStatic/
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian MaederSyntax/
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian MaederTaxonomy.hs
962036a37b92afb04ac0725cde9f20e599c04c5fChristian MaederTaxonomy/
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian MaederTest.hs
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian MaederToHaskell/
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian Maederclean.lst
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian Maederclean.sh
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian Maedercvs-howto
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian Maederdoc/
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian Maederhaifa-lite/
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian Maederhets.hs
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian Maederhets.in
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian Maederideas
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian Maedermini/
4b8e74c68d62fc4e5a1739b11f8df09beaecbee8Christian Maederpretty/
59a2f25e7d71b91b4eda6fa4da753473ad629619Christian Maedersample-ghci-script
6e2c88c65d50b2e44f7afa165e6a5fac0724f08cChristian Maedersyb-generics/
6e2c88c65d50b2e44f7afa165e6a5fac0724f08cChristian Maedertest/
6e2c88c65d50b2e44f7afa165e6a5fac0724f08cChristian Maedertodo
1eb10c0c30323eed3cc21082fd242cd09a612dc5Christian Maederutils/
1eb10c0c30323eed3cc21082fd242cd09a612dc5Christian Maederversion_nr
1eb10c0c30323eed3cc21082fd242cd09a612dc5Christian Maeder