hol_stdlib

Entry	Value
Package Name	hol_stdlib
Count	94
packages	unit-thm unit-def sum-thm sum-def set-thm set-size-thm set-size-def set-fold-thm set-fold-def set-finite-thm set-finite-def set-def relation-well-founded-thm relation-well-founded-def relation-thm relation-natural-thm relation-natural-def relation-def real-def pair-thm pair-def option-thm option-map-thm option-map-def option-dest-thm option-dest-def option-def natural-thm natural-order-thm natural-order-min-max-thm natural-order-min-max-def natural-order-def natural-numeral-def natural-mult-thm natural-mult-def natural-funpow-thm natural-funpow-def natural-factorial-thm natural-factorial-def natural-exp-thm natural-exp-log-thm natural-exp-log-def natural-exp-def natural-div-thm natural-div-def natural-distance-thm natural-distance-def natural-dest-def natural-def natural-add-thm natural-add-sub-thm natural-add-sub-def natural-add-def list-zip-thm list-zip-def list-thm list-take-drop-thm list-take-drop-def list-set-thm list-set-def list-reverse-thm list-reverse-def list-replicate-thm list-replicate-def list-nub-thm list-nub-def list-nth-thm list-nth-def list-map-thm list-map-def list-length-thm list-length-def list-last-thm list-last-def list-interval-thm list-interval-def list-fold-thm list-fold-def list-filter-thm list-filter-def list-dest-thm list-dest-def list-def list-append-thm list-append-def function-thm function-def bool-int bool-ext bool-def bool-class axiom-infinity axiom-extensionality axiom-choice