• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for HaRe-0.6 source tarball

HaRe-0.6/

• .DS_Store
• ._.DS_Store
• ._HaRe.cabal
• ._README.txt
• HaRe.cabal
• LICENSE
• README.txt
• Setup.hs
• StrategyLib-4.0-beta/
  • .DS_Store
  • ._.DS_Store
  • COPYING
  • ChangeLog
  • INSTALL
  • Makefile
  • README
  • TODO
  • VERSION
  • examples/
    • Makefile
    • haskell/
      • DoElim.hs
      • HsChaseImports.hs
      • HsDeadCodeElim.hs
      • HsExtract.hs
      • HsFreeNames.hs
      • HsIOWrap.hs
      • HsModuleCollection.hs
      • HsTransform.hs
      • Literate.lhs
      • Makefile
      • NewTypeIntro.hs
      • README
      • SyntaxTermInstances.hs
      • TestDoElim.hs
      • TestDoElim_correct.hs
      • testsuite/
        • Bottom.hs
        • DeadModule.hs
        • Top.hs
    • joos-padl02/
      • Datatypes.hs
      • DatatypesTermInstances.hs
      • Extraction.hs
      • Main.hs
      • MainIO.hs
      • Makefile
      • ParseLib.hs
      • Parser.hs
      • README
      • Test.correct
      • VarsAnalyses.hs
      • fowler.joos
      • testsuite/
        • Main.hs
        • Makefile
        • fowler.correct
        • fowler.joos
        • fowlerAssign.correct
        • fowlerAssign.joos
        • fowlerDoubles.correct
        • fowlerDoubles.joos
        • fowlerWrongAssign.correct
        • fowlerWrongAssign.joos
        • fowlerWrongReturn.correct
        • fowlerWrongReturn.joos
    • joos-rule02/
      • Datatypes.hs
      • DatatypesTermInstances.hs
      • Instance.hs
      • Main.hs
      • MainIO.hs
      • Makefile
      • ParseLib.hs
      • Parser.hs
      • Test.correct
      • extract-fine.joos
      • testsuite/
        • Main.hs
        • Makefile
        • declare-fine.joos
        • declare-wrong.joos
        • eliminate-fine.correct
        • eliminate-fine.joos
        • eliminate-wrong.correct
        • eliminate-wrong.joos
        • extract-fine.correct
        • extract-fine.joos
        • extract-wrong-assign.correct
        • extract-wrong-assign.joos
        • extract-wrong-return.correct
        • extract-wrong-return.joos
        • introduce-fine.correct
        • introduce-fine.joos
        • introduce-wrong-def.correct
        • introduce-wrong-def.joos
    • little-lambda/
      • Datatypes.hs
      • DatatypesTermInstances.hs
      • Main.hs
      • Makefile
      • Test.correct
    • two-sorts-deriving/
      • Datatypes.hs
      • Main.hs
      • Makefile
      • README
      • Test.correct
    • two-sorts-drift-default/
      • Datatypes.hs
      • DatatypesTermInstances.hs
      • Main.hs
      • Makefile
      • Test.correct
  • library/
    • ChaseImports.hs
    • ContainerTheme.hs
    • EffectTheme.hs
    • FixpointTheme.hs
    • FlowTheme.hs
    • KeyholeTheme.hs
    • Makefile
    • MetricsTheme1.hs
    • MonadMaybe.hs
    • MonadRun.hs
    • MonadicFunctions.hs
    • MoreMonoids.hs
    • NameTheme.hs
    • OverloadingTheme.hs
    • PathTheme.hs
    • RefactoringTheme.hs
    • StrategyInfix.hs
    • StrategyLib.hs
    • StrategyPrelude.hs
    • TraversalTheme.hs
  • models/
    • Makefile
    • deriving/
      • Makefile
      • StrategyPrimitives.hs
      • TermRep.hs
    • drift-default/
      • Makefile
      • StrategyPrimitives.hs
      • TermRep.hs
  • scripts/
    • Makefile
    • TestMain
    • makerules.all
    • makerules.check
    • makerules.clean
    • makerules.drift
    • makerules.examples
    • makerules.opts
    • makerules.recurse
    • makerules.run
• misc/
  • ._haskell-refac.el
  • ._refactor.vim
  • Array.hs
  • CPUTime.hs
  • Char.hs
  • Complex.hs
  • Directory.hs
  • IO.hs
  • Ix.hs
  • List.hs
  • Locale.hs
  • Maybe.hs
  • Monad.hs
  • Numeric.hs
  • Prelude.hs
  • PreludeBuiltin.hs
  • PreludeIO.hs
  • PreludeList.hs
  • PreludeText.hs
  • Random.hs
  • Ratio.hs
  • System.hs
  • Time.hs
  • dupAnswers
  • dupClassAnswer
  • dupClassTransform
  • dupPositions
  • dupReport
  • dupTransforms
  • evaluateResult
  • genFoldCache
  • haskell-refac.el
  • mergeCache
  • refactor.vim
• refactorer/
  • ._Evaluate.hs
  • ._LocalSettings.hs
  • ._RefacAddCon.hs
  • ._RefacGenDef.hs
  • ._RefacIntroPattern.hs
  • ._RefacLetWhere.hs
  • ._RefacMerge.hs
  • ._RefacMoveDef.hs
  • ._RefacNewDef.hs
  • ._RefacSimplify.hs
  • ._RefacSlicTuple.hs
  • ._RefacTypeSig.hs
  • ._RefacUtils.hs
  • ._TypeCheck.hs
  • AddRefactoringToInterface.txt
  • DuplicateCode.hs
  • EditorCommands.hs
  • Evaluate.hs
  • InitGHC.hs
  • LocalSettings.hs
  • PFE0.hs
  • ParseAnswers.hs
  • PfeRefactoringCmds.hs
  • RefacADT.hs
  • RefacAddCon.hs
  • RefacAddField.hs
  • RefacAddRmParam.hs
  • RefacAsPatterns.hs
  • RefacCacheMerge.hs
  • RefacCase.hs
  • RefacCleanImps.hs
  • RefacConDef.hs
  • RefacDataNewType.hs
  • RefacDeForest.hs
  • RefacDupDef.hs
  • RefacDupTrans.hs
  • RefacDuplicates.hs
  • RefacFunDef.hs
  • RefacGenCache.hs
  • RefacGenDef.hs
  • RefacGenFold.hs
  • RefacIdentify.hs
  • RefacInstantiate.hs
  • RefacIntroPattern.hs
  • RefacLetWhere.hs
  • RefacLocUtils
  • RefacLocUtils.hs
  • RefacMerge.hs
  • RefacMoveDef.hs
  • RefacMvDefBtwMod.hs
  • RefacNewDef.hs
  • RefacRedunDec.hs
  • RefacRemoveField.hs
  • RefacRenaming.hs
  • RefacRmCon.hs
  • RefacRmDef.hs
  • RefacSimplify.hs
  • RefacSlicTuple.hs
  • RefacSlicing.hs
  • RefacSwapArgs.hs
  • RefacTypeAddCon.hs
  • RefacTypeSig.hs
  • RefacTypeSyn.hs
  • RefacTypeUtils.hs
  • RefacUnGuard.hs
  • RefacUnfoldAsPatterns.hs
  • RefacUtils.hs
  • RefacWhereLet.hs
  • SlicingUtils.hs
  • TypeCheck.hs
  • log.txt
  • pfe.hs
  • pfe_client.hs
  • PwPf/
    • GlobalPW.hs
    • Makefile
    • PWCore.hs
    • Pointfree.hs
    • PwPfConversion.hs
    • PointlessP/
      • Combinators.hs
      • Functors.hs
      • Isomorphisms.hs
      • RecursionPatterns.hs
    • docs/
      • GlobalPW.html
      • PWCore.html
      • Pointfree.html
      • PwPfConversion.html
      • RefacPwPf.html
      • doc-index-58.html
      • doc-index-A.html
      • doc-index-B.html
      • doc-index-C.html
      • doc-index-E.html
      • doc-index-F.html
      • doc-index-G.html
      • doc-index-H.html
      • doc-index-I.html
      • doc-index-L.html
      • doc-index-M.html
      • doc-index-N.html
      • doc-index-O.html
      • doc-index-P.html
      • doc-index-R.html
      • doc-index-S.html
      • doc-index-T.html
      • doc-index-U.html
      • doc-index-V.html
      • doc-index-Z.html
      • doc-index.html
      • haddock.css
      • haskell_icon.gif
      • index.html
  • hidir/
    • Darwin
  • odir/
    • Darwin
• tools/
  • HEADER.html
  • Hs2HOL
  • HuMakefile
  • INSTALL.html
  • LICENSE
  • Makefile
  • README.html
  • configure
  • features.html
  • find-uses
  • find-word
  • titles
  • usage.html
  • Phugs/
    • ASTCmds.hs
    • Base2Stratego.hs
    • BaseStruct2Stratego.hs
    • Flags.ghc
    • Front2AST.hs
    • Front2Stratego.hs
    • HEADER.html
    • HuMakefile
    • Makefile
    • Phugs.hs
    • Prop2Stratego.hs
    • PropStruct2Stratego.hs
    • StrategoAST.hs
    • StrategoPretty.hs
    • spfe.hs
    • tests/
      • Test0.hs
  • TFF/
    • HuMakefile
    • Preds.hs
    • TFFMonad.hs
    • Tests.hs
    • TypesTerms.hs
    • myhugs
  • base/
    • Flags.ghc
    • HEADER.html
    • HuMakefile
    • Main.hs
    • Makefile
    • Makefile.ghc-4.08
    • Makefile.old
    • Map60204.hs
    • ParseHaskellProgram.hs
    • ParseOld.hs
    • ParseProgram.hs
    • README.html
    • ScopeHaskellProgram.hs
    • ScopeProgram.hs
    • Set60204.hs
    • TiProgram.hs
    • ghc_test
    • myghci
    • myhugs
    • pfei.hs
    • rewrite
    • testparse
    • testparse2
    • tstModules.hs
    • tstScopeNames.hs
    • tstTI.hs
    • tstTI.srclist
    • AST/
      • ._HsGuardsPretty.hs
      • ._PrettyPrint2.hs
      • ._SrcLoc1.hs
      • BaseSyntax.hs
      • BaseSyntaxMaps.hs
      • BaseSyntaxPretty.hs
      • BaseSyntaxStruct.hs
      • BaseSyntaxUtil.hs
      • HEADER.html
      • HasBaseName.hs
      • HasBaseStruct.hs
      • HsAssoc.hs
      • HsAssocInitEnv.hs
      • HsAssocPretty.hs
      • HsAssocStruct.hs
      • HsAssocUtil.hs
      • HsConstants.hs
      • HsDecl.hs
      • HsDeclMaps.hs
      • HsDeclPretty.hs
      • HsDeclStruct.hs
      • HsDeclUtil.hs
      • HsExp.hs
      • HsExpMaps.hs
      • HsExpPretty.hs
      • HsExpStruct.hs
      • HsExpUtil.hs
      • HsFields.hs
      • HsFieldsMaps.hs
      • HsFieldsPretty.hs
      • HsFieldsStruct.hs
      • HsGuards.hs
      • HsGuardsMaps.hs
      • HsGuardsPretty.hs
      • HsGuardsStruct.hs
      • HsGuardsUtil.hs
      • HsIdent.hs
      • HsIdentPretty.hs
      • HsKind.hs
      • HsKindMaps.hs
      • HsKindPretty.hs
      • HsKindStruct.hs
      • HsKindUtil.hs
      • HsLiteral.hs
      • HsLiteralPretty.hs
      • HsModule.hs
      • HsModuleMaps.hs
      • HsModulePretty.hs
      • HsName.hs
      • HsPat.hs
      • HsPatMaps.hs
      • HsPatPretty.hs
      • HsPatStruct.hs
      • HsPatUtil.hs
      • HsType.hs
      • HsTypeMaps.hs
      • HsTypePretty.hs
      • HsTypeStruct.hs
      • HsTypeUtil.hs
      • OldBaseSyntax.hs
      • PrettyPrint2.hs
      • README.html
      • SpecialNames.hs
      • SrcLoc1.hs
      • SrcLocPretty.hs
    • Modules/
      • ._TypedIds.hs
      • AST4ModSys.hs
      • CheckModules.lhs
      • Ents.hs
      • Flags.ghc
      • HuMakefile
      • ModSysAST.lhs
      • ModSysSem.lhs
      • Modules.lhs
      • Names.hs
      • NamesEntities.lhs
      • PPModules.hs
      • QualNames.hs
      • Relations.lhs
      • SCMs.hs
      • TypedIds.hs
      • WorkModule.hs
      • old
      • doc/
        • Description.bib
        • Description.tex
        • Hack
        • MakeMake.hs
        • Makefile
        • README
        • TODO.txt
        • abstract.tex
        • acmtrans.bst
        • acmtrans2m.cls
        • conclusion.tex
        • intro.tex
        • pphs
        • pphs.sty
        • related_work.tex
        • sig-alt-full.cls
        • sigplan-proc.cls
        • tmp
      • newModules/
        • tests/
          • 1
          • 2
          • 3
      • spec/
        • Examples.txt
        • Modules.lhs
      • tests/
        • 1/
          • A.hs
        • 2/
          • A.hs
          • B.hs
        • 3/
          • A.hs
          • B.hs
          • C.hs
        • 4/
          • A.hs
          • B.hs
        • 5/
          • A.hs
          • B.hs
        • 6/
          • A.hs
        • 8/
          • A.hs
    • SA/
      • ExampleScope.hs
      • GenSym.hs
      • SCC.hs
      • Scope.hs
      • Scope2.hs
      • ScopeRec.hs
      • ScopeStruct.hs
      • ScopeTests.hs
    • TC/
      • BaseTypeCheck.hs
      • BaseTypeCheckRec.hs
      • BaseTypeCheckStruct.hs
      • Components.hs
      • InferenceMonad.hs
      • TypeCheck.hs
      • TypeCheckTest.hs
      • TypeGenerics.hs
    • TI/
      • Flags.ghc
      • HEADER.html
      • NameMapsDecorate.hs
      • NewTiMonad.hs
      • OrigTiMonad.hs
      • README.html
      • TI.hs
      • TiBase.hs
      • TiBaseStruct.hs
      • TiBySuper.hs
      • TiClassInst.hs
      • TiClassInst2.hs
      • TiClasses.hs
      • TiConstraints.hs
      • TiContextReduction.hs
      • TiD.hs
      • TiDecorate.hs
      • TiDefault.hs
      • TiDefinedNames.hs
      • TiDerivedInstances.hs
      • TiDinst.hs
      • TiDkc.hs
      • TiDs.hs
      • TiE.hs
      • TiEnv.hs
      • TiEnvFM.hs
      • TiError.hs
      • TiFields.hs
      • TiFreeNames.hs
      • TiFresh.hs
      • TiFunDeps.hs
      • TiGeneralize.hs
      • TiHsName.hs
      • TiInstanceDB.hs
      • TiKEnv.hs
      • TiKinds.hs
      • TiLit.hs
      • TiModule.hs
      • TiMonad.hs
      • TiNameMaps.hs
      • TiNames.hs
      • TiP.hs
      • TiPNT.hs
      • TiPrelude.hs
      • TiPretty.hs
      • TiRhs.hs
      • TiSCC.hs
      • TiSolve.hs
      • TiT.hs
      • TiTEnv.hs
      • TiTypes.hs
      • TiUtil.hs
      • Unification.hs
    • defs/
      • DefinedNames.hs
      • DefinedNamesBase.hs
      • DefinedNamesBaseStruct.hs
      • FiniteMap1.hs
      • Flags.ghc
      • FreeNames.hs
      • FreeNamesBase.hs
      • FreeNamesBaseStruct.hs
      • HEADER.html
      • NameMaps.hs
      • NameMapsBase.hs
      • NameMapsBaseStruct.hs
      • PNT.hs
      • README.html
      • ReAssoc.hs
      • ReAssocBase.hs
      • ReAssocBaseStruct.hs
      • ReAssocModule.hs
      • ScopeModule.hs
      • ScopeNames.hs
      • ScopeNamesBase.hs
      • ScopeNamesBaseStruct.hs
      • UniqueNames.hs
      • tests/
        • fnT1.hs
        • noPrelude.hs
        • tstFreeNames.hs
    • lib/
      • AbstractIO.hs
      • AbstractIO.hs.old
      • AccList.hs
      • Assoc.hs
      • Assoc1.hs
      • CmdLineParser.hs
      • CmdLineParser3.hs
      • DirUtils.hs
      • FileUtils.hs
      • Flags.ghc
      • GetOpt.hs
      • HEADER.html
      • Lift.hs
      • Lists.hs
      • MUtils.hs
      • NewSCC.hs
      • NoEq.hs
      • OpTypes.hs
      • PathUtils.hs
      • Products.hs
      • README.html
      • Recursive.hs
      • Runnable.hs
      • SIO.hs
      • Sets.hs
      • SimpleGraphs.hs
      • Statistics.hs
      • UTF8.hs
      • UTF8Util.hs
      • Unlit.hs
      • Monads/
        • ContM.hs
        • ContMT.hs
        • Control_Monad_Fix.hs
        • EnvM.hs
        • EnvMT.hs
        • ExceptM.hs
        • ExceptMT.hs
        • IdM.hs
        • IdMT.hs
        • ImpUtils.hs
        • IxEnvM.hs
        • IxEnvMT.hs
        • IxOutputM.hs
        • IxOutputMT.hs
        • IxStateM.hs
        • IxStateMT.hs
        • MT.hs
        • Makefile
        • Monadic.hs
        • NonDetM.hs
        • NonDetMT.hs
        • OutputM.hs
        • OutputMT.hs
        • StateM.hs
        • StateMT.hs
        • Tree.hs
        • UIxStateM.hs
        • UStateM.hs
        • docs/
          • Commute.txt
          • Makefile
          • MultipleEnvs.hs
          • TypeInfer.lhs
    • parse/
      • LexUtil.hs
      • Lexer.hs
      • NumberNames.hs
      • ParseMonad.lhs
      • ParsedSyntax.hs
      • SourceNames.hs
      • token
      • util
      • extras/
        • HsParser.hs
        • HsParser.y
        • ParseUtil.hs
        • Token.hs
    • parse2/
      • HEADER.html
      • HuMakefile
      • LexUtil.hs
      • LexerNotes.html
      • Makefile
      • NumberNames.hs
      • ParseMonad.hs
      • ParsedSyntax.hs
      • ParserOptions.hs
      • PosName.hs
      • README.html
      • SourceNames.hs
      • lexgen
      • Lexer/
        • Flags.ghc
        • HsLayoutPre.hs
        • HsLex.hs
        • HsLexMerge.hs
        • HsLexUtils.hs
        • HsLexer.hs
        • HsLexerPass1.hs
        • HsLexerPos.hs
        • HsTokens.hs
      • LexerGen/
        • CompileRegExp.hs
        • DFA.hs
        • DetMachine.hs
        • DetMachineToHaskell2.hs
        • FSM.hs
        • FSMOpt.hs
        • Flags.ghc
        • GraphOps.hs
        • HsLexerGen
        • HsLexerGen.hs
        • LexerGen.hs
        • LexerGen2.hs
        • Minimalize.hs
        • NondetMachine.hs
        • OldHsLexerGen.hs
        • PPrint.hs
        • RegExp.hs
        • RegExpOps.hs
      • LexerSpec/
        • HaskellChars.hs
        • HaskellLexicalSyntax.hs
      • Parser/
        • HsParser.hs
        • HsParser.y
        • ParseUtil.hs
        • PosSyntax.hs
    • pretty/
      • ._PrettyPrint2.hs
      • Flags.ghc
      • NewPrettyPrint.hs
      • OldPrettyPrint.hs
      • PPU.hs
      • PrettyDoc.hs
      • PrettyEnv.hs
      • PrettyM.hs
      • PrettyPrint.hs
      • PrettyPrint2.hs
      • PrettyStd.hs
      • PrettySymbols.hs
      • PrettyUtil.hs
      • TokenTags.hs
    • syntax/
      • Flags.ghc
      • OldSyntaxRec.hs
      • Rewrite.hs
      • Syntax.hs
      • SyntaxRec.hs
      • SyntaxRecPretty.hs
      • SyntaxUtil.hs
    • tests/
      • Defaults.hs
      • Derivings.hs
      • Errors.hs
      • Existential.hs
      • FunDep.hs
      • FunDep2.hs
      • FunDep3.hs
      • FunDep4.hs
      • NplusK.hs
      • Overlap.hs
      • RecSyn.hs
      • lit.hs
      • literate.lhs
      • pTest1.hs
      • parser
      • scopeTest0.hs
      • test1.hs
      • tiAmbig.hs
      • tiBig.hs
      • tiFields.hs
      • tiFun.hs
      • tiHello.hs
      • tiLit.hs
      • tiPolyRec.hs
      • tiPrelude.hs
      • tiPreludeText.hs
      • tiSum.hs
      • tiSuper.hs
      • tiTest0.hs
      • tiTest1.hs
      • tiTest2.hs
      • tiTest5.hs
      • tiTest8.hs
      • tiTest9.hs
      • GhcLibraries/
        • Concurrent.hs
        • Dynamic.hs
        • Exception.hs
        • FiniteMap.hs
        • GetOpt.hs
        • IOExts.hs
        • Int.hs
        • LazyST.hs
        • LeftistHeap.hs
        • MArray.hs
        • Network.hs
        • PackedString.hs
        • Parsec.hs
        • ParsecChar.hs
        • ParsecCombinator.hs
        • ParsecLanguage.hs
        • ParsecToken.hs
        • Posix.hs
        • PosixProcEnv.hs
        • Pretty.hs
        • QuickCheck.hs
        • ST.hs
        • Sequence.hs
        • Set.hs
        • SocketPrim.hs
      • HaskellLibraries/
        • Array.hs
        • CPUTime.hs
        • Char.hs
        • Complex.hs
        • Directory.hs
        • IO.hs
        • Ix.hs
        • List.hs
        • Locale.hs
        • Maybe.hs
        • Monad.hs
        • Numeric.hs
        • Prelude.hs
        • PreludeBuiltin.hs
        • PreludeIO.hs
        • PreludeList.hs
        • PreludeText.hs
        • Random.hs
        • Ratio.hs
        • System.hs
        • Time.hs
      • HbcLibraries/
        • IntMap.hs
        • IntSet.hs
        • ListUtil.hs
        • OrdMap.hs
        • OrdSet.hs
        • Sort.hs
        • Subsequences.hs
        • Trace.hs
      • infix/
        • A.hs
        • B.hs
        • C.hs
      • prelude/
        • Prelude.hs
        • noPrelude.hs
        • p1.hs
    • transforms/
      • FieldSelectors.hs
      • Flags.ghc
      • HEADER.html
      • MapDeclM.hs
      • MapDeclMBase.hs
      • MapDeclMBaseStruct.hs
      • README.html
      • RemoveIrrefPats.hs
      • RemoveIrrefPatsBase.hs
      • RemoveIrrefPatsBaseStruct.hs
      • RemoveListComp.hs
      • RemoveListCompBase.hs
      • RemovePatBinds.hs
      • SimpFieldLabels.hs
      • SimpFunBind.hs
      • SimpPatMatch.hs
      • SimpPatMatchBase.hs
      • Substitute.hs
      • SubstituteBase.hs
      • SubstituteBaseStruct.hs
      • tstRemPatBind.hs
      • Deriving/
        • Deriving.hs
        • DerivingBounded.hs
        • DerivingEnum.hs
        • DerivingEq.hs
        • DerivingIx.hs
        • DerivingOrd.hs
        • DerivingRead.hs
        • DerivingShow.hs
        • DerivingUtils.hs
        • Flags.ghc
        • HEADER.html
        • README.html
      • tests/
        • 1.hs
  • evman/
    • HEADER.html
    • Makefile
    • README.html
    • cert.sh
    • functions.sh
    • install.sh
    • validation.sh
    • icons/
      • blue.gif
      • blue_Question.gif
      • blue_X.gif
      • certs.gif
      • progcert.gif
      • smblue.gif
      • smiley.sad.gif
      • smprogcert.gif
      • smtestcase.gif
      • template.gif
      • testcase.gif
      • testcase_invalid.gif
      • testcase_unknown.gif
      • testcase_valid.gif
    • servers/
      • Alfa/
        • invalid.gif
        • new
        • server.attr
        • unknown.gif
        • valid.gif
        • validate
      • Cut/
        • functions.sh
        • invalid.gif
        • new
        • server.attr
        • unknown.gif
        • valid.gif
        • validate
      • I_say_so/
        • new
        • server.attr
        • validate
      • Isabelle/
        • invalid.gif
        • new
        • server.attr
        • unknown.gif
        • valid.gif
        • validate
        • lib/
          • PLogic.thy
          • Prelude.thy
      • Mono/
        • invalid.gif
        • new
        • server.attr
        • unknown.gif
        • valid.gif
        • validate
      • Plover/
        • invalid.gif
        • new
        • server.attr
        • unknown.gif
        • valid.gif
        • validate
      • QuickCheck/
        • new
        • server.attr
        • validate
        • icons/
          • quick_check_Fail.gif
          • quick_check_OK.gif
          • quick_check_Unknown.gif
        • lib/
          • Generators.hs
          • QC_combinators.hs
          • QC_prelude.hs
      • TestCase/
        • new
        • server.attr
        • validate
  • hs2alfa/
    • BaseStruct2Alfa.hs
    • Flags.ghc
    • HEADER.html
    • Hs2Alfa.hs
    • HuMakefile
    • Makefile
    • PfeAlfaCmds.hs
    • Prelude.alfa
    • Prop.alfa
    • Prop2Alfa.hs
    • README.html
    • USCC.hs
    • apfe.hs
    • tst0.hs
    • tst0f.hs
    • tst1.hs
    • tst1prop.alfa
    • tst1propb.alfa
    • tstHs2Alfa.hs
    • tstProp2Alfa.hs
    • tests/
      • Fields.hs
      • Haskell.alfa
      • Integer.alfa
      • List.hs
      • ListProp.hs
      • ListPropProofs.alfa
      • Logic.alfa
      • Maybe.hs
      • Prelude.hs
      • PreludeList.hs
      • PreludeProperties.alfa
      • PreludeText.hs
      • SPS.hs
      • SPSproof.alfa
      • Sort.hs
      • SortProofs.alfa
      • SortProperties.alfa
      • SortProps.hs
      • Test0.hs
      • Test1.hs
  • hs2html/
    • ConvRefsTypes.hs
    • HLex2html.hs
    • HLexTagModuleNames.hs
    • HuMakefile
    • LitTxt.hs
    • Makefile
    • MyDoc.hs
    • MyDoc2HTML.hs
    • MyDoc2Latex.hs
    • MyDoc2litHTML.hs
    • ParseMyDoc.hs
    • RefsTypes.hs
    • hs2html.hs
    • hslex2html.hs
  • hs2isabelle/
    • BaseStruct2Isabelle.hs
    • Flags.ghc
    • IsabelleCmds.hs
    • Prop2Isabelle.hs
    • PropDecorate2Isabelle.hs
    • PropStruct2Isabelle.hs
    • AST/
      • IsabelleAST.hs
      • IsabelleDecl.hs
      • IsabelleProp.hs
      • IsabelleTerm.hs
      • IsabelleType.hs
      • Mixfix.hs
    • tests/
      • SPS.hs
      • SPS_Proofs.thy
  • hs2stratego/
    • Base2Stratego2.hs
    • BaseStruct2Stratego2.hs
    • Flags.ghc
    • HEADER.html
    • Prop2Stratego2.hs
    • PropDecorate2Stratego2.hs
    • PropStruct2Stratego2.hs
    • README.html
    • StrategoCmds.hs
    • TiBase2Stratego2.hs
    • TiProp2Stratego2.hs
    • AST/
      • Parentheses.hs
      • StrategoAST2.hs
      • StrategoDecl.hs
      • StrategoPattern.hs
      • StrategoProp.hs
      • StrategoTerm.hs
      • StrategoType.hs
  • hsutils/
    • L.hs
    • LICENSE
    • Makefile
    • README
    • Unlit.hs
    • index_inc.html
    • layout.hs
    • stripcomments.hs
    • stripcomments0.hs
  • interp/
    • AST.hs
    • Front2AST.hs
    • HaskellCoreLite1.1.hs
    • HaskellCoreLite1.2.hs
    • HaskellCoreLite1.3.hs
    • Monad.hs
    • NewData.hs
    • examples.hs
    • HaskellWorkshop/
      • Ideas.txt
      • body.bib
      • body.tex
      • entcs.cls
      • entcs.sty
      • entcsmacro.sty
      • global-defs.tex
      • psfig.tex
      • psinput.tex
      • weirdness.hs
  • pfe/
    • ._PFE3.hs
    • Flags.ghc
    • HEADER.html
    • HuMakefile
    • Makefile
    • PFE0.hs
    • PFE1.hs
    • PFE2.hs
    • PFE3.hs
    • PFE4.hs
    • PFE_HTML.hs
    • PFE_Rewrite.hs
    • PFE_Rewrites.hs
    • PFE_StdNames.hs
    • PFEdeps.hs
    • Pfe0Cmds.hs
    • Pfe1Cmds.hs
    • Pfe2Cmds.hs
    • Pfe3Cmds.hs
    • Pfe3Metrics.hs
    • Pfe4Cmds.hs
    • PfeChase.hs
    • PfeCleanCmd.hs
    • PfeDepCmds.hs
    • PfeHtmlCmds.hs
    • PfeInteractive.hs
    • PfeParse.hs
    • PfeSocket.hs
    • PfeTransformCmds.hs
    • PfeVersionCmd.hs
    • README.html
    • myghci
    • pfe.hs
    • pfeclient.hs
    • pfeclient.sh
    • pfesetup
    • tstpfe0.hs
    • tstpfe1.hs
    • tstpfe2.hs
    • tstpfe3.hs
    • Browser/
      • AuxWindowsF.hs
      • CertAttrsEditorF.hs
      • CertCmd.hs
      • CertServerF.hs
      • DrawDoc.hs
      • DrawError.hs
      • DrawLex.hs
      • Flags.ghc
      • FudDraw.hs
      • FudExtras.hs
      • FudgetIOMonad.hs
      • FudgetIOMonad1.hs
      • GIFAltFile.hs
      • HEADER.html
      • HistoryButtonsF.hs
      • HuMakefile
      • IdInfo.hs
      • Makefile
      • PfeBrowserCerts.hs
      • PfeBrowserColors.hs
      • PfeBrowserF.hs
      • PfeBrowserGUI.hs
      • PfeBrowserMenu.hs
      • PfeBrowserMonad.hs
      • PfePlumbing.hs
      • README.html
      • StatusIndicator.hs
      • pfebrowser.hs
      • pfebrowser.sh
  • pg2hol/
    • HOLOps.hs
    • HS2Hol.hs
    • HuMakefile
    • Main.hs
    • Makefile
    • Makefile.ghc-4.08
    • Prop2HOL.hs
    • Prop2SVC.hs
    • foo.hs
    • myhugs
    • examples/
      • Alg.hol
      • FM.hol
      • MemMonad.hol
      • Memory.hol
      • NewChipModel.hol
      • Prelude.hol
      • State.hol
      • TypeCheckedChipProof.hol
  • pg2svc/
    • Main.hs
    • Prop2SVC.hs
    • SVCOps.hs
  • prop2hol/
    • examples
  • property/
    • Flags.ghc
    • HEADER.html
    • HuMakefile
    • Main.hs
    • Makefile
    • Makefile.ghc-4.08
    • Makefile.old
    • PPfeCmds.hs
    • PPfeInstances.hs
    • PPfeMain.hs
    • Plogic.html
    • README.html
    • extras
    • myhugs
    • ppfe.hs
    • rewrite
    • tstTiProp.hs
    • AST/
      • HsPropMaps.hs
      • HsPropPretty.hs
      • HsPropStruct.hs
    • TI/
      • Flags.ghc
      • NameMapsPropDecorate.hs
      • TiProp.hs
      • TiPropDecorate.hs
      • TiPropInstances.hs
      • TiPropStruct.hs
    • command/
      • CommandLine.hs
      • Compile.hs
    • defs/
      • DefinedNamesProp.hs
      • DefinedNamesPropStruct.hs
      • FreeNamesProp.hs
      • FreeNamesPropStruct.hs
      • NameMapsProp.hs
      • NameMapsPropStruct.hs
      • ReAssocProp.hs
      • ReAssocPropStruct.hs
      • ScopeNamesProp.hs
      • ScopeNamesPropStruct.hs
    • parse/
      • token
      • util
      • extras/
        • ParseUtil.hs
        • PropParser.hs
        • PropParser.y
        • Token.hs
    • parse2/
      • LexerOptions.hs
      • Makefile
      • PropLexer.hs
      • Parser/
        • PropParseUtil.hs
        • PropParser.y
        • PropPlogic.hs
        • PropPosSyntax.hs
    • pfe/
      • Attrs.hs
      • CertAttrs.hs
      • CertServers.hs
      • Flags.ghc
      • OneLineAttrs.hs
      • PFE_Certs.hs
      • ParseAttrs.hs
      • ParseCertAttrs.hs
      • PfePropCmds.hs
    • syntax/
      • HasPropStruct.hs
      • PropSyntax.hs
      • PropSyntaxRec.hs
      • PropSyntaxStruct.hs
      • PropSyntaxUtil.hs
      • Rewrite.hs
      • ToHaskell.hs
    • tests/
      • Overload.hs
      • PreludeInt.hs
      • PreludeProps.hs
      • Primes.hs
      • RecPred.hs
      • Simple1.hs
      • Test0Proofs.alfa
      • Test1Proofs.alfa
      • test0.hs
      • test00.hs
      • test1.hs
      • testPrelude.hs
    • toy/
      • Main.hs
      • Syntax.hs
      • Translate.hs
    • transforms/
      • Flags.ghc
      • MapDeclMProp.hs
      • MapDeclMPropStruct.hs
      • RemoveListCompProp.hs
      • SimpPatMatchProp.hs
      • SubstituteProp.hs
      • SubstitutePropStruct.hs
      • ToQC.hs
  • scripts/
    • adjustscript
    • myghc--make
    • myghcxmake
    • myghumake
    • myghuxmake
    • setEnv.csh
    • syncanoncvs
    • updateNow.sh
  • web/
    • blue.gif
    • icon1.png
    • pfe.cgi
    • src.css
    • src2.css
    • tree.cgi