hets-lib-database-testfiles revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenktree 3d3889e0cefcdce9b3f43c53aaa201943ac2e895:
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenk
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenk.gitignore
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkATC.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkATC/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkAdl/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCASL.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCASL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCASL_DL.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCASL_DL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCMDL.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCMDL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCOL.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCOL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCSL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCSMOF/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCoCASL.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCoCASL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCommon.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCommon/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCommonLogic/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkComorphisms.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkComorphisms/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkConstraintCASL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCspCASL.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCspCASL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCspCASLProver.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkCspCASLProver/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkDFOL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkDMU/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkDriver.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkDriver/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkExtModal.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkExtModal/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkFpl/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkFramework.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkFramework/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkFreeCAD/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkGMP/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkGUI.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkGUI/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHasCASL.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHasCASL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHaskell.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHaskell/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHets-Haddock-Prologue.txt
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHets.cabal
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHolLight/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHybrid.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkHybrid/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkINSTALL
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkInterfaces/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkIsabelle.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkIsabelle/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkLF/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkLICENSE.txt
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkLIZENZ.txt
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkLogic.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkLogic/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkMMT.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkMMT/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkMakefile
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkMakefile.installer
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkMaude/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkModal.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkModal/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkModifications/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkOMDoc.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkOMDoc/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkOWL2.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkOWL2/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkOmega/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkPGIP/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkPLpatt/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkProofs.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkProofs/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkPropositional.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkPropositional/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkQBF/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkQVTR/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkRDF/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkREADME
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkREADME.installer
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkRelationalScheme.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkRelationalScheme/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkReleaseMakefile
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkScratch.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkSoftFOL.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkSoftFOL/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkStatic.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkStatic/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkSyntax.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkSyntax/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkTHF/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkTaxonomy.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkTaxonomy/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkTemporal/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkToHaskell/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkTopHybrid.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkTopHybrid/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkVSE/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkatermlib/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkbuild.xml
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkclean.lst
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkclean.sh
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkdoc/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkhets.hs
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkhets.in
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkideas
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkmini/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkpretty/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkprogramatica
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenksample-ghci-script
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenktest/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenktodo
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkutils/
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkvar.mk
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenkversion_nr
2a9ee4116a7df31d9482821f64c837315c8e2aa0jeff.schenk