Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for hol-1.2 source tarball
hol-1.2/
LICENSE
README.md
Setup.hs
hol.cabal
doc/
axioms.txt
bool.txt
src/
Main.hs
Profile.hs
Test.hs
HOL/
Const.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
Var.hs
OpenTheory/
Article.hs
Interpret.hs
Package.hs
test/
bool-def.art
bool.art
bool.int
bool.thy