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

Directory listing for hol-1.4 source tarball

hol-1.4/

• LICENSE
• README.md
• Setup.hs
• hol.cabal
• doc/
  • axioms.txt
  • bool.txt
• src/
  • Main.hs
  • Profile.hs
  • Test.hs
  • HOL/
    • Const.hs
    • Conv.hs
    • Data.hs
    • Name.hs
    • OpenTheory.hs
    • Parse.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
    • Util.hs
    • Var.hs
    • OpenTheory/
      • Article.hs
      • Interpret.hs
      • Package.hs
• test/
  • bool-def.art
  • bool.art
  • bool.int
  • bool.thy