Morphism.hs revision 1a38107941725211e7c3f051f7a8f5e12199f03a
f90884915ff10ae83f59e709c68824de834e64f5Dominik Luecketree 1a38107941725211e7c3f051f7a8f5e12199f03a:
f90884915ff10ae83f59e709c68824de834e64f5Dominik Luecke
9eb6a481980d81a55898ba418fba72fc3c09d8c8Dominik Luecke.gitignore
f90884915ff10ae83f59e709c68824de834e64f5Dominik Luecke.travis.yml
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeATC.hs
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeATC/
2eeec5240b424984e3ee26296da1eeab6c6d739eChristian MaederAdl/
b72a390042c19e630cf221494b60c9df2a60d187Dominik LueckeCASL.hs
b72a390042c19e630cf221494b60c9df2a60d187Dominik LueckeCASL/
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeCASL_DL.hs
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeCASL_DL/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederCMDL.hs
2af38fde95f93562f2124ec615fba0e509c8202eDominik LueckeCMDL/
2af38fde95f93562f2124ec615fba0e509c8202eDominik LueckeCOL.hs
2af38fde95f93562f2124ec615fba0e509c8202eDominik LueckeCOL/
cf04ba46b9eb495d334466e24e082e391055ca7bDominik LueckeCSL/
2af38fde95f93562f2124ec615fba0e509c8202eDominik LueckeCSMOF/
2af38fde95f93562f2124ec615fba0e509c8202eDominik LueckeCoCASL.hs
926b3c5491f1c608f5b79e2d8014d7a1385558c3Dominik LueckeCoCASL/
2af38fde95f93562f2124ec615fba0e509c8202eDominik LueckeCommon.hs
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeCommon/
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeCommonLogic/
da955132262baab309a50fdffe228c9efe68251dCui JianComorphisms.hs
16e124196c6b204769042028c74f533509c9b5d3Christian MaederComorphisms/
16e124196c6b204769042028c74f533509c9b5d3Christian MaederConstraintCASL/
16e124196c6b204769042028c74f533509c9b5d3Christian MaederCspCASL.hs
16e124196c6b204769042028c74f533509c9b5d3Christian MaederCspCASL/
16e124196c6b204769042028c74f533509c9b5d3Christian MaederCspCASLProver.hs
16e124196c6b204769042028c74f533509c9b5d3Christian MaederCspCASLProver/
16e124196c6b204769042028c74f533509c9b5d3Christian MaederDFOL/
16e124196c6b204769042028c74f533509c9b5d3Christian MaederDMU/
16e124196c6b204769042028c74f533509c9b5d3Christian MaederDriver.hs
16e124196c6b204769042028c74f533509c9b5d3Christian MaederDriver/
202df46772cac2ee2e8627ba196a5faebb6f9a05Christian MaederExtModal.hs
16e124196c6b204769042028c74f533509c9b5d3Christian MaederExtModal/
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeFpl/
fcac596b16bb10f475066c323b9b1ca44db2b755Dominik LueckeFramework.hs
fcac596b16bb10f475066c323b9b1ca44db2b755Dominik LueckeFramework/
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeFreeCAD/
5b9f5c1b3592b99fc74d3438740ebcf9eb4c94beDominik LueckeGMP/
2ea0ce749d2525f96d5d2f285f519ab07b005b8dDominik LueckeGUI.hs
5b9f5c1b3592b99fc74d3438740ebcf9eb4c94beDominik LueckeGUI/
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeHasCASL.hs
fcac596b16bb10f475066c323b9b1ca44db2b755Dominik LueckeHasCASL/
fcac596b16bb10f475066c323b9b1ca44db2b755Dominik LueckeHaskell.hs
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeHaskell/
da955132262baab309a50fdffe228c9efe68251dCui JianHets-Haddock-Prologue.txt
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederHets.cabal
f90884915ff10ae83f59e709c68824de834e64f5Dominik LueckeHolLight/
16e124196c6b204769042028c74f533509c9b5d3Christian MaederHybrid.hs
16e124196c6b204769042028c74f533509c9b5d3Christian MaederHybrid/
16e124196c6b204769042028c74f533509c9b5d3Christian MaederINSTALL
16e124196c6b204769042028c74f533509c9b5d3Christian MaederInterfaces/
b72a390042c19e630cf221494b60c9df2a60d187Dominik LueckeIsabelle.hs
fcac596b16bb10f475066c323b9b1ca44db2b755Dominik LueckeIsabelle/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederLF/
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeLICENSE.txt
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederLIZENZ.txt
b72a390042c19e630cf221494b60c9df2a60d187Dominik LueckeLogic.hs
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederLogic/
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeMMT.hs
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeMMT/
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeMakefile
da955132262baab309a50fdffe228c9efe68251dCui JianMakefile.installer
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederMaude/
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckeModal.hs
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckeModal/
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckeModifications/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederOMDoc.hs
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckeOMDoc/
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckeOWL2.hs
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckeOWL2/
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckeOmega/
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckePGIP/
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckePLpatt/
5b2e9f4673599e1bc6e18a43ad615da28305b8e1Christian MaederProofs.hs
548f3850942936a8c6021185c8391dfcd3b03018Dominik LueckeProofs/
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckePropositional.hs
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckePropositional/
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeQBF/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederQVTR/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederRDF/
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeREADME
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeREADME.installer
08056875f5f633ef432598d5245ea41c112d2178Dominik LueckeREADME.md
a23e572c8f957cc051a1b0831abd6fe9380d45c7Christian MaederRelationalScheme.hs
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederRelationalScheme/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederReleaseMakefile
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederScratch.hs
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederSoftFOL.hs
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederSoftFOL/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederStatic.hs
fcac596b16bb10f475066c323b9b1ca44db2b755Dominik LueckeStatic/
fcac596b16bb10f475066c323b9b1ca44db2b755Dominik LueckeSyntax.hs
fcac596b16bb10f475066c323b9b1ca44db2b755Dominik LueckeSyntax/
0859769b65851f4c06d6d32fac084b0f4db56c94Christian MaederTHF/
da955132262baab309a50fdffe228c9efe68251dCui JianTaxonomy.hs
4df63f7187b1ba16cbe5c781db187a42f2f49579Dominik LueckeTaxonomy/
b694e4b3f771a2f32042c9c505dd698bde969558Dominik LueckeTemporal/
5b9f5c1b3592b99fc74d3438740ebcf9eb4c94beDominik LueckeToHaskell/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederTopHybrid.hs
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederTopHybrid/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederUbuntuMakefile
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian MaederVSE/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maederatermlib/
2ea0ce749d2525f96d5d2f285f519ab07b005b8dDominik Lueckebuild.xml
2ea0ce749d2525f96d5d2f285f519ab07b005b8dDominik Lueckeclean.lst
2ea0ce749d2525f96d5d2f285f519ab07b005b8dDominik Lueckeclean.sh
2ea0ce749d2525f96d5d2f285f519ab07b005b8dDominik Lueckedoc/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maederhets.hs
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maederhets.in
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maederideas
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maedermagic/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maedermini/
2ea0ce749d2525f96d5d2f285f519ab07b005b8dDominik Lueckepretty/
2ea0ce749d2525f96d5d2f285f519ab07b005b8dDominik Lueckeprogramatica
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maedersample-ghci-script
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maedertest/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maedertodo
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maederutils/
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maedervar.mk
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maederversion_nr
a7be28e157e9ceeec73a8fd0e642c36ea29d4218Christian Maeder