Makefile revision 0d0278c34a374b29c2d6c58b39b8b56e283d48e8
5d52a1fe1b8ea396fb5ae7f6f1567c8383445113Tinderbox Usertree 0d0278c34a374b29c2d6c58b39b8b56e283d48e8:
bf8267aa453e5d2a735ed732a043b77a0b355b20Mark Andrews
0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsATC.hs
0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsATC/
0c27b3fe77ac1d5094ba3521e8142d9e7973133fMark AndrewsAdl/
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsCASL.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCASL/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCASL_DL.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCASL_DL/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCMDL.hs
e13d04fda918c0c14c2247475bb99e0760d9a6a4Evan HuntCMDL/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCOL.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCOL/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCSL/
c2bc56dc65b4b103a5600565680eb5f33fa4c90bMark AndrewsCoCASL.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCoCASL/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCommon.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCommon/
422009fe5b15e31e7f5d09212bd1480121a1464eEvan HuntCommonLogic/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonComorphisms.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonComorphisms/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonConstraintCASL/
b6d52ee5bea1b9d9074698e693b49ce96edff47bMark AndrewsCspCASL.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCspCASL/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCspCASLProver.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonCspCASLProver/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonDFOL/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonDMU/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonDriver.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonDriver/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonExtModal.hs
94694e720a911a38b01ff5036c01d883b3c9cbb1Evan HuntExtModal/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonFpl/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonFramework.hs
b99bfa184bc9375421b5df915eea7dfac6a68a99Evan HuntFramework/
b99bfa184bc9375421b5df915eea7dfac6a68a99Evan HuntFreeCAD/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonGMP/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonGUI.hs
b99bfa184bc9375421b5df915eea7dfac6a68a99Evan HuntGUI/
b99bfa184bc9375421b5df915eea7dfac6a68a99Evan HuntHasCASL.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonHasCASL/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonHaskell.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonHaskell/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonHets-Haddock-Prologue.txt
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonHets.cabal
a8f94d29b38872fbc6cf9a1a8223ff8453357da1Andreas GustafssonHolLight/
74cb99072c4b0ebd2ccafcfa284288fa760f7a1aMark AndrewsINSTALL
a8f94d29b38872fbc6cf9a1a8223ff8453357da1Andreas GustafssonInterfaces/
a8f94d29b38872fbc6cf9a1a8223ff8453357da1Andreas GustafssonIsabelle.hs
a8f94d29b38872fbc6cf9a1a8223ff8453357da1Andreas GustafssonIsabelle/
a8f94d29b38872fbc6cf9a1a8223ff8453357da1Andreas GustafssonLF/
a8f94d29b38872fbc6cf9a1a8223ff8453357da1Andreas GustafssonLICENSE.txt
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonLIZENZ.txt
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonLogic.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonLogic/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonLottery/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonMakefile
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonMakefile.installer
74cb99072c4b0ebd2ccafcfa284288fa760f7a1aMark AndrewsMaude/
9f7d51ee3290e2a064d71016a6bd555b47134a7cMark AndrewsModal.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonModal/
afa016c3c171ecff7c98fb1a86ce5677f8025100Francis DupontModifications/
965605e238d96eb685b94df4d46d7185d1b6f121Mark AndrewsOMDoc.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonOMDoc/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonOWL2.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonOWL2/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonOmega/
0d24df5c0b2f9546f403113df8ac4457223bc92fEvan HuntPGIP/
0d24df5c0b2f9546f403113df8ac4457223bc92fEvan HuntProofs.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonProofs/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonPropositional.hs
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonPropositional/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonQBF/
f687e639f00a31e0884fb2c95a627b10b50c364bEvan HuntRDF/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonREADME
8a5809527e6c85e39699901712a455d5480907c1Evan HuntREADME.installer
8a5809527e6c85e39699901712a455d5480907c1Evan HuntRelationalScheme.hs
8a5809527e6c85e39699901712a455d5480907c1Evan HuntRelationalScheme/
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonReleaseMakefile
be7f27304337afbf078e8bd8db0f951a33abe33bAndreas GustafssonScratch.hs
Search/
SoftFOL.hs
SoftFOL/
Static.hs
Static/
Syntax/
THF/
Taxonomy.hs
Taxonomy/
Temporal/
ToHaskell/
VSE/
atermlib/
build.xml
clean.lst
clean.sh
doc/
hets.hs
hets.in
ideas
mini/
pretty/
programatica
sample-ghci-script
test/
todo
utils/
var.mk
version_nr