Coerce.hs revision 04857331be117d4e2215d866c309a17bd9a7e15c
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maedertree 04857331be117d4e2215d866c309a17bd9a7e15c:
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maeder
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowski.gitignore
73dfcef93ee2ba07fedf4f3c74bace31853d1b9fChristian MaederATC.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederATC/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederAdl/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCASL.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCASL/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCASL_DL.hs
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiCASL_DL/
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiCMDL.hs
e6d40133bc9f858308654afb1262b8b483ec5922Till MossakowskiCMDL/
0095c7efbddd0ffeed6aaf8ec015346be161d819Till MossakowskiCOL.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCOL/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCSL/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCSMOF/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCoCASL.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCoCASL/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCommon.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCommon/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCommonLogic/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederComorphisms.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederComorphisms/
73dfcef93ee2ba07fedf4f3c74bace31853d1b9fChristian MaederConstraintCASL/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederCspCASL.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCspCASL/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCspCASLProver.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederCspCASLProver/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederDFOL/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederDMU/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederDriver.hs
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederDriver/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederExtModal.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederExtModal/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederFpl/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederFramework.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederFramework/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederFreeCAD/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederGMP/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederGUI.hs
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederGUI/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederHasCASL.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederHasCASL/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederHaskell.hs
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederHaskell/
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiHets-Haddock-Prologue.txt
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiHets.cabal
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiHolLight/
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiHybrid.hs
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiHybrid/
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiINSTALL
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiInterfaces/
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiIsabelle.hs
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiIsabelle/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederLF/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederLICENSE.txt
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederLIZENZ.txt
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederLogic.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederLogic/
6abfd7000f15635fd29746bd841b4c36819e552bTill MossakowskiMMT.hs
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederMMT/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederMakefile
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederMakefile.installer
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederMaude/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederModal.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederModal/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederModifications/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederOMDoc.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederOMDoc/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederOWL2.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederOWL2/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederOmega/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederPGIP/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederPLpatt/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederProofs.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederProofs/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederPropositional.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederPropositional/
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichQBF/
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichRDF/
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichREADME
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichREADME.installer
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichRelationalScheme.hs
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichRelationalScheme/
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichReleaseMakefile
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichScratch.hs
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichSoftFOL.hs
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichSoftFOL/
b20cc520e698253354303b7bf3bc17f84240b213Klaus LuettichStatic.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederStatic/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederSyntax.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederSyntax/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederTHF/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederTaxonomy.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederTaxonomy/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederTemporal/
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian MaederToHaskell/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederTopHybrid.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederTopHybrid/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian MaederVSE/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederatermlib/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederbuild.xml
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederclean.lst
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederclean.sh
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maederdoc/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederhets.hs
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederhets.in
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederideas
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maedermini/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederpretty/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederprogramatica
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maedersample-ghci-script
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maedertest/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maedertodo
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederutils/
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maedervar.mk
acabd9ab36e1870f6f02c513bcfbfd10ffd118e0Christian Maederversion_nr
8d97ef4f234681b11bb5924bd4d03adef858d2d2Christian Maeder