test10.ofn.xml.xml.xml revision cfa86d9bc79b7a2ed1b22ebd58d477ab1890adb5
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmanntree cfa86d9bc79b7a2ed1b22ebd58d477ab1890adb5:
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmann
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannATC.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannATC/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannAdl/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCASL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCASL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCASL_DL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCASL_DL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCMDL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCMDL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCOL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCOL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCSL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCoCASL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCoCASL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCommon.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCommon/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCommonLogic/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannComorphisms.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannComorphisms/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannConstraintCASL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCspCASL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCspCASL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCspCASLProver.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannCspCASLProver/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannDFOL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannDMU/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannDriver.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannDriver/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannExtModal.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannExtModal/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannFpl/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannFramework.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannFramework/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannFreeCAD/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannGMP/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannGUI.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannGUI/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannHasCASL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannHasCASL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannHaskell.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannHaskell/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannHets-Haddock-Prologue.txt
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannHets.cabal
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannHolLight/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannINSTALL
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannInterfaces/
5476ad087c0f2d45ab0dab1bab9ef3e9d70418bcMarcel HoltmannIsabelle.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannIsabelle/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannLF/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannLICENSE.txt
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannLIZENZ.txt
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannLogic.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannLogic/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannLottery/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannMakefile
5476ad087c0f2d45ab0dab1bab9ef3e9d70418bcMarcel HoltmannMakefile.installer
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannMaude/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannModal.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannModal/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannModifications/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannOMDoc.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannOMDoc/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannOWL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannOWL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannOWL2/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannOmega/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannPGIP/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannProofs.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannProofs/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannPropositional.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannPropositional/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannQBF/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannREADME
5476ad087c0f2d45ab0dab1bab9ef3e9d70418bcMarcel HoltmannREADME.installer
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannRelationalScheme.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannRelationalScheme/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannReleaseMakefile
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannScratch.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannSearch/
5476ad087c0f2d45ab0dab1bab9ef3e9d70418bcMarcel HoltmannSoftFOL.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannSoftFOL/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannStatic.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannStatic/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannSyntax/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannTHF/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannTaxonomy.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannTaxonomy/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannTemporal/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannToHaskell/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel HoltmannVSE/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannatermlib/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannbuild.xml
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannclean.lst
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannclean.sh
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmanndoc/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannhets.hs
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannhets.in
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannideas
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannmini/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannpretty/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannprogramatica
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannsample-ghci-script
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmanntest/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmanntodo
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannutils/
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannvar.mk
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmannversion_nr
94f5bbc626f2a4102debd9b17c964170a887cb49Marcel Holtmann