MANIFEST.MF revision 9e2f7510b8abb84eade0b40898a4e8e16611761d
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan Boschtree 9e2f7510b8abb84eade0b40898a4e8e16611761d:
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan Bosch
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschATC.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschATC/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCASL.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCASL/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCASL_DL.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCASL_DL/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCOL.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCOL/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCoCASL.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCoCASL/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCommon.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCommon/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschComorphisms.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschComorphisms/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschConstraintCASL/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCspCASL.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschCspCASL/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschDL.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschDL/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschDriver.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschDriver/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschGMP/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschGUI.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschGUI/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschHasCASL.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschHasCASL/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschHaskell.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschHaskell/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschHets-Haddock-Prologue.txt
a10ed8c47534b4c6b6bf2711ccfe577e720a47b4Timo SirainenHets.cabal
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschINSTALL
639bb36b12b9f9bb54c8bb1be50eac623622f8a0Timo SirainenIsabelle.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschIsabelle/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschLICENSE.txt
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschLIZENZ.txt
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschLogic.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschLogic/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschLottery/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschMakefile
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschMakefile.installer
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschModal.hs
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschModal/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschModifications/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschOMDoc/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschOWL.hs
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschOWL/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschPGIP.hs
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschPGIP/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschProofs.hs
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschProofs/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschPropositional.hs
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschPropositional/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschREADME
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschREADME.installer
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschReleaseMakefile
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschSearch/
8fe8f97e688779add9cd042a9db4ddb7b117cce2Stephan BoschSoftFOL.hs
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschSoftFOL/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschStatic.hs
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschStatic/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschSyntax/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschTaxonomy.hs
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschTaxonomy/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschTest.hs
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan BoschToHaskell/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan Boschclean.lst
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan Boschclean.sh
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan Boschdoc/
4d955db590c3d76a631dfc5d37bcdf578a43e55aStephan Boschhaifa-lite/
hets.hs
hets.in
ideas
mini/
pretty/
sample-ghci-script
syb-generics/
test/
todo
utils/
version_nr