Rough Working Notes on Axiomatic Language

Utility Axioms and Definitions:
    overview.txt -- overview of utility axiom files
    uncbasic.txt -- basic unconditional function and relation predicates
    cbasic.txt -- basic conditional function and relation predicates
    higher.txt -- basic higher-order definitions
    finite.txt -- defining finite sets of elements
    atom.txt -- utilities for defining atoms
    bit.txt -- definition of bit atoms
    char.txt -- representation of characters
    symbol.txt -- representation of symbols and some symbol predicates
    hosym.txt -- higher-order definitions that use symbol representation
    length.txt -- predicates using sequence length as a number
    notequal.txt -- inequality between distinct atoms and expressions
    natnum.txt -- natural numbers and their arithmetic
    count.txt -- counting and indexing functions using natural numbers
    integer.txt -- integers and their arithmetic
    order.txt -- ordering predicates on values