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

Directory listing for hol-1.1 source tarball

hol-1.1/

• LICENSE
• README.md
• Setup.hs
• hol.cabal
• doc/
  • axioms.txt
• src/
  • Profile.hs
  • Test.hs
  • HOL/
    • Const.hs
    • Data.hs
    • Name.hs
    • OpenTheory.hs
    • Print.hs
    • Rule.hs
    • Sequent.hs
    • Subst.hs
    • Term.hs
    • TermAlpha.hs
    • TermData.hs
    • Theory.hs
    • Thm.hs
    • Type.hs
    • TypeData.hs
    • TypeOp.hs
    • TypeSubst.hs
    • TypeVar.hs
    • Var.hs