Makefile revision c01168f53431b6ad785bf8a8b12bd3a60b93b9b4
ca010363454de207082dfaa4b753531ce2a34551Christian Maedertree c01168f53431b6ad785bf8a8b12bd3a60b93b9b4:
ca010363454de207082dfaa4b753531ce2a34551Christian Maeder
ca010363454de207082dfaa4b753531ce2a34551Christian MaederATC.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederATC/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCASL.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCASL/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCASL_DL.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederCASL_DL/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCOL.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCOL/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCoCASL.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCoCASL/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCommon.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederCommon/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederComorphisms.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederComorphisms/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederConstraintCASL/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederCspCASL.hs
88d16ba9fcfb786c4e953f99982e3056ad2045ecChristian MaederCspCASL/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederDriver.hs
23f8d286586ff38a9e73052b2c7c04c62c5c638fChristian MaederDriver/
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederGMP/
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederGUI.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederGUI/
9379646a4fecb772e793a8875bb92723e854268cChristian MaederHasCASL.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederHasCASL/
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederHaskell.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederHaskell/
cf58a323fcb5c4185c3aa378713bbee3bba18c0aChristian MaederHets-Haddock-Prologue.txt
cf58a323fcb5c4185c3aa378713bbee3bba18c0aChristian MaederHets.cabal
ca010363454de207082dfaa4b753531ce2a34551Christian MaederINSTALL
ca010363454de207082dfaa4b753531ce2a34551Christian MaederIsabelle.hs
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederIsabelle/
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederLICENCE.txt
ca010363454de207082dfaa4b753531ce2a34551Christian MaederLICENSE.txt
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederLIZENZ.txt
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederLogic.hs
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederLogic/
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederLottery/
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederMakefile
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederMakefile.installer
ca010363454de207082dfaa4b753531ce2a34551Christian MaederModal.hs
ca010363454de207082dfaa4b753531ce2a34551Christian MaederModal/
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederModifications/
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederOMDoc/
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederOWL_DL.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederOWL_DL/
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederPGIP.hs
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederPGIP/
d601fb0d7be0f4e8de9f01b5293df7d80673d76aChristian MaederProofs.hs
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian MaederProofs/
d601fb0d7be0f4e8de9f01b5293df7d80673d76aChristian MaederPropositional.hs
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederPropositional/
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian MaederREADME
ca010363454de207082dfaa4b753531ce2a34551Christian MaederREADME.installer
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederReleaseMakefile
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian MaederSoftFOL.hs
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederSoftFOL/
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederStatic.hs
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederStatic/
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederSyntax/
ca010363454de207082dfaa4b753531ce2a34551Christian MaederTaxonomy.hs
aae44eae4cd27141bea70af8d54844c3849a0711Christian MaederTaxonomy/
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian MaederTest.hs
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian MaederToHaskell/
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maederclean.lst
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maederclean.sh
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maederdoc/
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maederhaifa-lite/
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maederhets.hs
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maederhets.in
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maederideas
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maedermini/
801c2781e70c80f5f2069894a1f5cdfed7da8c9cChristian Maederpretty/
aae44eae4cd27141bea70af8d54844c3849a0711Christian Maedersample-ghci-script
ca010363454de207082dfaa4b753531ce2a34551Christian Maedersyb-generics/
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian Maedertest/
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian Maedertodo
83cc27e4ca7cf1a4bb5f4a8df17d3e6d44e6f1eaChristian Maederutils/
d601fb0d7be0f4e8de9f01b5293df7d80673d76aChristian Maederversion_nr
d601fb0d7be0f4e8de9f01b5293df7d80673d76aChristian Maeder