IRI.hs revision 1a38107941725211e7c3f051f7a8f5e12199f03a
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maedertree 1a38107941725211e7c3f051f7a8f5e12199f03a:
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder.gitignore
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder.travis.yml
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuATC.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederATC/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederAdl/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederCASL.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederCASL/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederCASL_DL.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederCASL_DL/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederCMDL.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederCMDL/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCOL.hs
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCOL/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCSL/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCSMOF/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCoCASL.hs
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCoCASL/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCommon.hs
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCommon/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCommonLogic/
002961cfb5c53204887101239d2a47c83d596585Christian MaederComorphisms.hs
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederComorphisms/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederConstraintCASL/
002961cfb5c53204887101239d2a47c83d596585Christian MaederCspCASL.hs
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCspCASL/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCspCASLProver.hs
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederCspCASLProver/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederDFOL/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederDMU/
33f5512f0538c5ec4141205a8440ff6ba9e96139Christian MaederDriver.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederDriver/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederExtModal.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederExtModal/
92dc581bf568c9e225aa9d0570ab0a4b6ebdab69Christian MaederFpl/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederFramework.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederFramework/
92dc581bf568c9e225aa9d0570ab0a4b6ebdab69Christian MaederFreeCAD/
92dc581bf568c9e225aa9d0570ab0a4b6ebdab69Christian MaederGMP/
8acac20a235839e60ea2d43709fce47de1c68bc1Christian MaederGUI.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederGUI/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederHasCASL.hs
a43c1a7fa08c12524415386aa13a566cc9e53a4fChristian MaederHasCASL/
8acac20a235839e60ea2d43709fce47de1c68bc1Christian MaederHaskell.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederHaskell/
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederHets-Haddock-Prologue.txt
8acac20a235839e60ea2d43709fce47de1c68bc1Christian MaederHets.cabal
92dc581bf568c9e225aa9d0570ab0a4b6ebdab69Christian MaederHolLight/
0789323dfca89bae8f710da5bba20220b9af2feaChristian MaederHybrid.hs
0789323dfca89bae8f710da5bba20220b9af2feaChristian MaederHybrid/
0789323dfca89bae8f710da5bba20220b9af2feaChristian MaederINSTALL
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederInterfaces/
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederIsabelle.hs
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederIsabelle/
0789323dfca89bae8f710da5bba20220b9af2feaChristian MaederLF/
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederLICENSE.txt
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederLIZENZ.txt
5dc46f6d0fdd8747d730f9e79a93978145ed43bbChristian MaederLogic.hs
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederLogic/
5dc46f6d0fdd8747d730f9e79a93978145ed43bbChristian MaederMMT.hs
248ab4f138caa9a594cd3fe0815e7fd4150701efChristian MaederMMT/
0789323dfca89bae8f710da5bba20220b9af2feaChristian MaederMakefile
0789323dfca89bae8f710da5bba20220b9af2feaChristian MaederMakefile.installer
0789323dfca89bae8f710da5bba20220b9af2feaChristian MaederMaude/
0789323dfca89bae8f710da5bba20220b9af2feaChristian MaederModal.hs
92dc581bf568c9e225aa9d0570ab0a4b6ebdab69Christian MaederModal/
5dc46f6d0fdd8747d730f9e79a93978145ed43bbChristian MaederModifications/
5dc46f6d0fdd8747d730f9e79a93978145ed43bbChristian MaederOMDoc.hs
5dc46f6d0fdd8747d730f9e79a93978145ed43bbChristian MaederOMDoc/
5dc46f6d0fdd8747d730f9e79a93978145ed43bbChristian MaederOWL2.hs
5dc46f6d0fdd8747d730f9e79a93978145ed43bbChristian MaederOWL2/
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederOmega/
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederPGIP/
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederPLpatt/
720eeee7c9d8442093c8d05bed743193eee906e0Christian MaederProofs.hs
92dc581bf568c9e225aa9d0570ab0a4b6ebdab69Christian MaederProofs/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederPropositional.hs
e49fd57c63845c7806860a9736ad09f6d44dbaedChristian MaederPropositional/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederQBF/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederQVTR/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederRDF/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederREADME
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederREADME.installer
002961cfb5c53204887101239d2a47c83d596585Christian MaederREADME.md
002961cfb5c53204887101239d2a47c83d596585Christian MaederRelationalScheme.hs
002961cfb5c53204887101239d2a47c83d596585Christian MaederRelationalScheme/
e49fd57c63845c7806860a9736ad09f6d44dbaedChristian MaederReleaseMakefile
002961cfb5c53204887101239d2a47c83d596585Christian MaederScratch.hs
002961cfb5c53204887101239d2a47c83d596585Christian MaederSoftFOL.hs
002961cfb5c53204887101239d2a47c83d596585Christian MaederSoftFOL/
002961cfb5c53204887101239d2a47c83d596585Christian MaederStatic.hs
002961cfb5c53204887101239d2a47c83d596585Christian MaederStatic/
002961cfb5c53204887101239d2a47c83d596585Christian MaederSyntax.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederSyntax/
1596a4d2cc01bff500afdd3789a43ec93210e81fChristian MaederTHF/
1596a4d2cc01bff500afdd3789a43ec93210e81fChristian MaederTaxonomy.hs
002961cfb5c53204887101239d2a47c83d596585Christian MaederTaxonomy/
429df04296fa571432f62cbfad6855e1420e0fd6Christian MaederTemporal/
fbc1e851413f39999a00a0d3be0edf75bbf42007Ewaryst SchulzToHaskell/
db6729e623b4053149084ccf4b35e5308ac7e359Christian MaederTopHybrid.hs
fbc1e851413f39999a00a0d3be0edf75bbf42007Ewaryst SchulzTopHybrid/
b410420153cc9ac37fb4ebb86699cba7fa19bc35Christian MaederUbuntuMakefile
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian MaederVSE/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maederatermlib/
e49fd57c63845c7806860a9736ad09f6d44dbaedChristian Maederbuild.xml
db6729e623b4053149084ccf4b35e5308ac7e359Christian Maederclean.lst
14d7908303969441ba30c2748de45f20345c6b31Christian Maederclean.sh
e49fd57c63845c7806860a9736ad09f6d44dbaedChristian Maederdoc/
54a535fb81b928ac8f99a11bdcfa8998533204a5Christian Maederhets.hs
b410420153cc9ac37fb4ebb86699cba7fa19bc35Christian Maederhets.in
b410420153cc9ac37fb4ebb86699cba7fa19bc35Christian Maederideas
b410420153cc9ac37fb4ebb86699cba7fa19bc35Christian Maedermagic/
b410420153cc9ac37fb4ebb86699cba7fa19bc35Christian Maedermini/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maederpretty/
54a535fb81b928ac8f99a11bdcfa8998533204a5Christian Maederprogramatica
db6729e623b4053149084ccf4b35e5308ac7e359Christian Maedersample-ghci-script
db6729e623b4053149084ccf4b35e5308ac7e359Christian Maedertest/
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maedertodo
e49fd57c63845c7806860a9736ad09f6d44dbaedChristian Maederutils/
248ab4f138caa9a594cd3fe0815e7fd4150701efChristian Maedervar.mk
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maederversion_nr
e49fd57c63845c7806860a9736ad09f6d44dbaedChristian Maeder