Makefile revision 797ccd67cb8ae127be097cd43448801b673e3b69
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maedertree 797ccd67cb8ae127be097cd43448801b673e3b69:
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederATC.hs
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederATC/
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederCASL.hs
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiCASL/
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederCASL_DL.hs
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederCASL_DL/
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCOL.hs
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCOL/
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederCoCASL.hs
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederCoCASL/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederCommon.hs
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederCommon/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederComorphisms.hs
d48085f765fca838c1d972d2123601997174583dChristian MaederComorphisms/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederConstraintCASL/
da245da15da78363c896e44ea97a14ab1f83eb50Christian MaederCspCASL.hs
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian MaederCspCASL/
d48085f765fca838c1d972d2123601997174583dChristian MaederDriver.hs
da245da15da78363c896e44ea97a14ab1f83eb50Christian MaederDriver/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederGMP/
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederGUI.hs
48c4688439e0aade4faeebf25ca8b16d661e47afChristian MaederGUI/
d48085f765fca838c1d972d2123601997174583dChristian MaederHasCASL.hs
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederHasCASL/
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaederHaskell.hs
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaederHaskell/
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaederHets-Haddock-Prologue.txt
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaederHets.cabal
c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian MaederINSTALL
81946e2b3f6dde6167f48769bd02c7a634736856Christian MaederIsabelle.hs
c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian MaederIsabelle/
81946e2b3f6dde6167f48769bd02c7a634736856Christian MaederLICENCE.txt
48c4688439e0aade4faeebf25ca8b16d661e47afChristian MaederLICENSE.txt
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederLIZENZ.txt
81946e2b3f6dde6167f48769bd02c7a634736856Christian MaederLogic.hs
2dfc7b04f2db681992ca04175f2beb0f127c9844Christian MaederLogic/
81946e2b3f6dde6167f48769bd02c7a634736856Christian MaederLottery/
2dfc7b04f2db681992ca04175f2beb0f127c9844Christian MaederMakefile
2dfc7b04f2db681992ca04175f2beb0f127c9844Christian MaederMakefile.installer
2dfc7b04f2db681992ca04175f2beb0f127c9844Christian MaederModal.hs
c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian MaederModal/
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederModifications/
48c4688439e0aade4faeebf25ca8b16d661e47afChristian MaederOMDoc/
48c4688439e0aade4faeebf25ca8b16d661e47afChristian MaederOWL_DL.hs
2dfc7b04f2db681992ca04175f2beb0f127c9844Christian MaederOWL_DL/
48c4688439e0aade4faeebf25ca8b16d661e47afChristian MaederPGIP.hs
48c4688439e0aade4faeebf25ca8b16d661e47afChristian MaederPGIP/
48c4688439e0aade4faeebf25ca8b16d661e47afChristian MaederProofs.hs
48c4688439e0aade4faeebf25ca8b16d661e47afChristian MaederProofs/
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederPropositional.hs
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederPropositional/
c4e912fc181d72c8d0e0e38d0351278182f0d0b5Christian MaederREADME
2dfc7b04f2db681992ca04175f2beb0f127c9844Christian MaederREADME.installer
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederReleaseMakefile
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederSoftFOL.hs
024621f43239cfe9629e35d35a8669fad7acbba2Christian MaederSoftFOL/
d48085f765fca838c1d972d2123601997174583dChristian MaederStatic.hs
d48085f765fca838c1d972d2123601997174583dChristian MaederStatic/
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederSyntax/
81946e2b3f6dde6167f48769bd02c7a634736856Christian MaederTaxonomy.hs
81946e2b3f6dde6167f48769bd02c7a634736856Christian MaederTaxonomy/
81946e2b3f6dde6167f48769bd02c7a634736856Christian MaederTest.hs
36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederToHaskell/
2dfc7b04f2db681992ca04175f2beb0f127c9844Christian Maederclean.lst
81946e2b3f6dde6167f48769bd02c7a634736856Christian Maederclean.sh
81946e2b3f6dde6167f48769bd02c7a634736856Christian Maederdoc/
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederhaifa-lite/
024621f43239cfe9629e35d35a8669fad7acbba2Christian Maederhets.hs
d48085f765fca838c1d972d2123601997174583dChristian Maederhets.in
d48085f765fca838c1d972d2123601997174583dChristian Maederideas
d48085f765fca838c1d972d2123601997174583dChristian Maedermini/
d48085f765fca838c1d972d2123601997174583dChristian Maederpretty/
d48085f765fca838c1d972d2123601997174583dChristian Maedersample-ghci-script
d48085f765fca838c1d972d2123601997174583dChristian Maedersyb-generics/
d48085f765fca838c1d972d2123601997174583dChristian Maedertest/
d48085f765fca838c1d972d2123601997174583dChristian Maedertodo
d48085f765fca838c1d972d2123601997174583dChristian Maederutils/
d48085f765fca838c1d972d2123601997174583dChristian Maederversion_nr
d48085f765fca838c1d972d2123601997174583dChristian Maeder