PreComorphism.hs revision b9840e4ee6fda6e42fa4ee9f337482ccc4839a39
d29201dd5328b88140ce050100693c501852657dChristian Maedertree b9840e4ee6fda6e42fa4ee9f337482ccc4839a39:
51846950b4b1f31342008cf17f667859a5f21949Christian Maeder
51846950b4b1f31342008cf17f667859a5f21949Christian MaederATC.hs
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucATC/
6d81916b9004f8d9b6032113c5987ab07da47015Karl LucCASL.hs
b87efd3db0d2dc41615ea28669faf80fc1b48d56Corneliu-Claudiu ProdescuCASL/
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCASL_DL.hs
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucCASL_DL/
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCMDL.hs
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCMDL/
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCOL.hs
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucCOL/
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCoCASL.hs
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCoCASL/
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCommon.hs
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCommon/
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucComorphisms.hs
51846950b4b1f31342008cf17f667859a5f21949Christian MaederComorphisms/
51846950b4b1f31342008cf17f667859a5f21949Christian MaederConstraintCASL/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucCspCASL.hs
51846950b4b1f31342008cf17f667859a5f21949Christian MaederCspCASL/
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucCspCASLProver.hs
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucCspCASLProver/
d6ce032cac688f3698be7133d27f53d3967e6749Christian MaederDFOL/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucDriver.hs
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl LucDriver/
d75d2d11170f1339ebe37d9d9c06aff148637b13Christian MaederGMP/
66977d201b3ff7ee9c1f992c0f3f701b69eac2c9Karl LucGUI.hs
51846950b4b1f31342008cf17f667859a5f21949Christian MaederGUI/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucHasCASL.hs
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucHasCASL/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucHaskell.hs
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucHaskell/
a35bacbc16daf5c10f9accfdfadc4971e9d6f648Iulia IgnatovHets-Haddock-Prologue.txt
51846950b4b1f31342008cf17f667859a5f21949Christian MaederHets.cabal
51846950b4b1f31342008cf17f667859a5f21949Christian MaederINSTALL
51846950b4b1f31342008cf17f667859a5f21949Christian MaederInterfaces/
3831cf8a3b0ea144a80d13fe0314cc2752e32107Christian MaederIsabelle.hs
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucIsabelle/
51846950b4b1f31342008cf17f667859a5f21949Christian MaederLICENSE.txt
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucLIZENZ.txt
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucLogic.hs
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucLogic/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucLottery/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucMakefile
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucMakefile.installer
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucMaude/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucModal.hs
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucModal/
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucModifications/
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucOMDoc.hs
d6ce032cac688f3698be7133d27f53d3967e6749Christian MaederOMDoc/
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucOWL.hs
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl LucOWL/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucOmega/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucPGIP/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucProofs.hs
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucProofs/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucPropositional.hs
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucPropositional/
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucREADME
c51d1f5ff88cce030fe543e271ca6b85625b70d8Karl LucREADME.installer
c51d1f5ff88cce030fe543e271ca6b85625b70d8Karl LucRelationalScheme.hs
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucRelationalScheme/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucReleaseMakefile
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucSearch/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucSoftFOL.hs
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucSoftFOL/
51846950b4b1f31342008cf17f667859a5f21949Christian MaederStatic.hs
3831cf8a3b0ea144a80d13fe0314cc2752e32107Christian MaederStatic/
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucSyntax/
c51d1f5ff88cce030fe543e271ca6b85625b70d8Karl LucTaxonomy.hs
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucTaxonomy/
c51d1f5ff88cce030fe543e271ca6b85625b70d8Karl LucTemporal/
75067b1beba1380cde707c30e7fc050d86f6927fKarl LucTest.hs
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl LucToHaskell/
d6ce032cac688f3698be7133d27f53d3967e6749Christian MaederVSE/
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Lucatermlib/
de03ed90ff6efbbc4751301bcf6b50d9790c1afbKarl Lucbuild.xml
75067b1beba1380cde707c30e7fc050d86f6927fKarl Lucclean.lst
75067b1beba1380cde707c30e7fc050d86f6927fKarl Lucclean.sh
7b1111ca3b126f71cce47e60ce4b56e6f92422e9Karl Lucdoc/
7b1111ca3b126f71cce47e60ce4b56e6f92422e9Karl Luchets.hs
75067b1beba1380cde707c30e7fc050d86f6927fKarl Luchets.in
a35bacbc16daf5c10f9accfdfadc4971e9d6f648Iulia Ignatovideas
a35bacbc16daf5c10f9accfdfadc4971e9d6f648Iulia Ignatovmini/
a35bacbc16daf5c10f9accfdfadc4971e9d6f648Iulia Ignatovpretty/
a35bacbc16daf5c10f9accfdfadc4971e9d6f648Iulia Ignatovsample-ghci-script
a35bacbc16daf5c10f9accfdfadc4971e9d6f648Iulia Ignatovtest/
75067b1beba1380cde707c30e7fc050d86f6927fKarl Luctodo
51846950b4b1f31342008cf17f667859a5f21949Christian Maederutils/
3831cf8a3b0ea144a80d13fe0314cc2752e32107Christian Maedervar.mk
c51d1f5ff88cce030fe543e271ca6b85625b70d8Karl Lucversion_nr
7165a916d2fa1bf87c4741ec63b253413eebbf69Karl Luc