Coerce.hs revision e9458b1a7a19a63aa4c179f9ab20f4d50681c168
d6bdddcd50d3b461a18303d45716086011027069Daniel Calegaritree e9458b1a7a19a63aa4c179f9ab20f4d50681c168:
d6bdddcd50d3b461a18303d45716086011027069Daniel Calegari
d6bdddcd50d3b461a18303d45716086011027069Daniel Calegari.gitignore
d6bdddcd50d3b461a18303d45716086011027069Daniel Calegari.travis.yml
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariATC.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariATC/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariAdl/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCASL.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCASL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCASL_DL.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCASL_DL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCMDL.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCMDL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCOL.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCOL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCSL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCSMOF/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCoCASL.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCoCASL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCommon.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCommon/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCommonLogic/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariComorphisms.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariComorphisms/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariConstraintCASL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCspCASL.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCspCASL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCspCASLProver.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariCspCASLProver/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariDFOL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariDMU/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariDriver.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariDriver/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariExtModal.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariExtModal/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariFpl/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariFramework.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariFramework/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariFreeCAD/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariGMP/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariGUI.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariGUI/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariHasCASL.hs
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariHasCASL/
d6bdddcd50d3b461a18303d45716086011027069Daniel CalegariHaskell.hs
acc049a844d19fb294ce7f68742390dee87447dcDaniel CalegariHaskell/
Hets-Haddock-Prologue.txt
Hets.cabal
HolLight/
Hybrid.hs
Hybrid/
INSTALL
Interfaces/
Isabelle.hs
Isabelle/
LF/
LICENSE.txt
LIZENZ.txt
Logic.hs
Logic/
MMT.hs
MMT/
Makefile
Makefile.installer
Maude/
Modal.hs
Modal/
Modifications/
OMDoc.hs
OMDoc/
OWL2.hs
OWL2/
Omega/
PGIP/
PLpatt/
Proofs.hs
Proofs/
Propositional.hs
Propositional/
QBF/
QVTR/
RDF/
README
README.installer
README.md
RelationalScheme.hs
RelationalScheme/
ReleaseMakefile
Scratch.hs
ServerMakefile
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax.hs
Syntax/
THF/
Taxonomy.hs
Taxonomy/
Temporal/
ToHaskell/
TopHybrid.hs
TopHybrid/
UbuntuMakefile
VSE/
atermlib/
build.xml
clean.lst
clean.sh
doc/
hets.hs
hets.in
ideas
magic/
mini/
pretty/
programatica
sample-ghci-script
test/
todo
utils/
var.mk
version_nr