persistent revision 9d63e3d6c1c65ab10d1459b9f59a134161acc1d7
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chintree 9d63e3d6c1c65ab10d1459b9f59a134161acc1d7:
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin.gitignore
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chin.travis.yml
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinATC.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinATC/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinAdl/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCASL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCASL_DL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCASL_DL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCMDL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCMDL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCOL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCOL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCSL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCSMOF/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCoCASL.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCoCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCommon.hs
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinCommon/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCommonLogic/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaComorphisms.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinComorphisms/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinConstraintCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCspCASL.hs
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinCspCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinCspCASLProver.hs
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaCspCASLProver/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinDFOL/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaDMU/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinDriver.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinDriver/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinExtModal.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinExtModal/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinFpl/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinFramework.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinFramework/
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinFreeCAD/
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinGMP/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaGUI.hs
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaGUI/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaHasCASL.hs
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaHasCASL/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHaskell.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHaskell/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHets-Haddock-Prologue.txt
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHets.cabal
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHolLight/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHybrid.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinHybrid/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinInterfaces/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinIsabelle.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinIsabelle/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLF/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLICENSE.txt
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLIZENZ.txt
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLogic.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinLogic/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinMMT.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinMMT/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinMakefile
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinMaude/
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinModal.hs
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinModal/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinModifications/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOMDoc.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinOMDoc/
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinOWL2.hs
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinOWL2/
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinOmega/
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinPGIP/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinPLpatt/
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinPersistence/
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinProofs.hs
7c2fbfb345896881c631598ee3852ce9ce33fb07April ChinProofs/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinPropositional.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinPropositional/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaQBF/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaQVTR/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaRDF/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaREADME
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaREADME.md
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaRelationalScheme.hs
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaRelationalScheme/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaScratch.hs
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaSoftFOL.hs
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaSoftFOL/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaStatic.hs
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaStatic/
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaSyntax.hs
ead1f93ee620d7580f7e53350fe5a884fc4f158aLiane PrazaSyntax/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinTHF/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinTPTP/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinTaxonomy.hs
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinTaxonomy/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinTemporal/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinToHaskell/
da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968chinTopHybrid.hs
TopHybrid/
VSE/
atermlib/
debian/
doc/
hets.hs
ideas
magic/
mini/
pretty/
sample-ghci-script
stack.yaml
test/
todo
utils/
var.mk