Rel.hs revision 9e6ce33401d2bbbe82156d59f6a9be0331d9a4b7
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maedertree 9e6ce33401d2bbbe82156d59f6a9be0331d9a4b7:
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder
5ba323da9f037264b4a356085e844889aedeac23Christian MaederATC.hs
10397bcc134edbcfbe3ae2c7ea4c6080036aae22Christian MaederATC/
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederCASL.hs
23f2c59644866aa82e90de353e77f9f1d1b51b9aChristian MaederCASL/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederCASL_DL.hs
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian MaederCASL_DL/
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian MaederCOL.hs
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian MaederCOL/
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCoCASL.hs
23f2c59644866aa82e90de353e77f9f1d1b51b9aChristian MaederCoCASL/
23f2c59644866aa82e90de353e77f9f1d1b51b9aChristian MaederCommon.hs
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederCommon/
23f2c59644866aa82e90de353e77f9f1d1b51b9aChristian MaederComorphisms.hs
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederComorphisms/
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian MaederCspCASL.hs
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederCspCASL/
fc8c6570c7b4ee13f375eb607bed2290438573bfChristian MaederDriver.hs
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian MaederDriver/
23f8d286586ff38a9e73052b2c7c04c62c5c638fChristian MaederGUI.hs
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederGUI/
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederHasCASL.hs
fc8c6570c7b4ee13f375eb607bed2290438573bfChristian MaederHasCASL/
f8f78a2c8796a387a4348cc672ae08e8d9f69315Christian MaederHaskell.hs
f8f78a2c8796a387a4348cc672ae08e8d9f69315Christian MaederHaskell/
10397bcc134edbcfbe3ae2c7ea4c6080036aae22Christian MaederHatchet/
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederHets-Haddock-Prologue.txt
f8f78a2c8796a387a4348cc672ae08e8d9f69315Christian MaederINSTALL
af621d0066770895fd79562728e93099c8c52060Christian MaederIsabelle.hs
7c554e9d4a39b8eb3b0881f20807c95dd8e793aeChristian MaederIsabelle/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederLICENCE.txt
79d11c2e3ad242ebb241f5d4a5e98a674c0b986fChristian MaederLICENSE.txt
59c301c268f79cfde0a4c30a2c572a368db98da5Christian MaederLIZENZ.txt
59c301c268f79cfde0a4c30a2c572a368db98da5Christian MaederLogic.hs
4fb19f237193a3bd6778f8aee3b6dd8da5856665Christian MaederLogic/
f8f78a2c8796a387a4348cc672ae08e8d9f69315Christian MaederLottery/
024621f43239cfe9629e35d35a8669fad7acbba2Christian MaederMakefile
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederModal.hs
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederModal/
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederOWL_DL.hs
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederOWL_DL/
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederProofs.hs
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederProofs/
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederREADME
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian MaederReleaseMakefile
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian MaederSPASS.hs
afa6848d579d235c9677e1ab477916df8e5ae11aChristian MaederSPASS/
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian MaederStatic.hs
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian MaederStatic/
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian MaederSyntax/
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian MaederTaxonomy.hs
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian MaederTaxonomy/
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian MaederTest.hs
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian MaederToHaskell/
afa6848d579d235c9677e1ab477916df8e5ae11aChristian Maederclean.lst
afa6848d579d235c9677e1ab477916df8e5ae11aChristian Maederclean.sh
afa6848d579d235c9677e1ab477916df8e5ae11aChristian Maederdoc/
afa6848d579d235c9677e1ab477916df8e5ae11aChristian Maederfgl/
afa6848d579d235c9677e1ab477916df8e5ae11aChristian Maederhets.hs
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maederhxt/
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maederideas
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maederinstall.sh
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maedermini/
afa6848d579d235c9677e1ab477916df8e5ae11aChristian Maedertest/
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maedertodo
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maederutils/
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maederversion_nr
7de39d39bc1700cc8a9bb9df90b920aad9e18d4aChristian Maeder