   File Name		Archive #	Description
-----------------------------------------------------------
 PolyML.ML                 1	
 ROOT.ML                   1	
 conv.ML                   1	
 crewrite.ML               1	
 envir.ML                  1	
 goals.ML                  1	
 library.ML                1	
 logic.ML                  1	
 pretty.ML                 1	
 pure.ML                   1	
 queue.ML                  1	
 sequence.ML               1	
 sign.ML                   2	
 simp.ML                   2	
 stringtree.ML             1	
 symtab.ML                 2	
 tactic.ML                 2	
 tctical.ML                2	
 term.ML                   2	
 testnj.ML                 1	
 thm.ML                    3	
 unify.ML                  3	
 Makefile                  2	
 README                    2	
 make-all                  2	
 make-rulenames            2	
 EARLEY                    1	
 EARLEY/ROOT.ML            2	
 EARLEY/earley0A.ML        3	
 EARLEY/lexicon.ML         2	
 EARLEY/lib.ML             3	
 EARLEY/parse_tree.ML      3	
 EARLEY/printer.ML         3	
 EARLEY/pure_ext.ML        3	
 EARLEY/syntax.ML          3	
 EARLEY/syntax_def.ML      4	
 EARLEY/xgram.ML           4	
 translate                 4	
 FOL                       1	
 FOL/README                1	
 FOL/Makefile              4	
 FOL/ROOT.ML               3	
 FOL/cla-lemmas.ML         4	
 FOL/cla-prover.ML         4	
 FOL/int-prover.ML         4	
 FOL/pc.ML                 4	
 FOL/ruleshell.ML          4	
 FOL/syntax.ML             4	
 FOL/ex                    1	
 FOL/ex/ROOT.ML            4	
 FOL/ex/cla.ML             4	
 FOL/ex/foundn.ML          5	
 FOL/ex/if.ML              4	
 FOL/ex/int.ML             5	
 FOL/ex/prolog.ML          5	
 FOL/ex/prop.ML            5	
 FOL/ex/quant.ML           5	
 LK                        2	
 LK/README                 4	
 LK/Makefile               5	
 LK/ROOT.ML                5	
 LK/bug.ML                 5	
 LK/resolve.ML             5	
 LK/ruleshell.ML           5	
 LK/syntax.ML              5	
 LK/ex                     2	
 LK/ex/ROOT.ML             5	
 LK/ex/hard-quant.ML       5	
 LK/ex/prop.ML             5	
 LK/ex/quant.ML            5	
 LK/set                    3	
 LK/set/README             5	
 LK/set/Makefile           5	
 LK/set/ROOT.ML            5	
 LK/set/nonthinned.ML      5	
 LK/set/resolve.ML         5	
 LK/set/ruleshell.ML       5	
 LK/set/subset.ML          6	
 LK/set/syntax.ML          5	
 LK/set/ex                 5	
 LK/set/ex/ROOT.ML         6	
 LK/set/ex/big-un-int.ML   6	
 LK/set/ex/pairing.ML      6	
 LK/set/ex/power.ML        6	
 LK/set/ex/prod.ML         6	
 LK/set/ex/un-int.ML       6	
 CTT                       6	
 CTT/README                6	
 CTT/Makefile              6	
 CTT/ROOT.ML               6	
 CTT/arith.ML              6	
 CTT/bool.ML               6	
 CTT/old.syntax.ML         6	
 CTT/resolve.ML            6	
 CTT/rew.ML                6	
 CTT/ruleshell.ML          6	
 CTT/syntax.ML             6	
 CTT/ex                    6	
 CTT/ex/ROOT.ML            6	
 CTT/ex/arith.ML           6	
 CTT/ex/bool.ML            7	
 CTT/ex/elim.ML            7	
 CTT/ex/equal.ML           7	
 CTT/ex/synth.ML           7	
 CTT/ex/typechk.ML         7	
 HOL                       6	
 HOL/README                6	
 HOL/Makefile              7	
 HOL/ROOT.ML               6	
 HOL/arith.ML              7	
 HOL/class.ML              7	
 HOL/lemmas.ML             7	
 HOL/list.ML               7	
 HOL/prover.ML             7	
 HOL/rew.ML                7	
 HOL/ruleshell.ML          7	
 HOL/simp.ML               8	
 HOL/syntax.ML             8	
 HOL/tarski.ML             8	
 HOL/types.ML              8	
 HOL/wf.ML                 8	
 HOL/ex                    7	
 HOL/ex/ROOT.ML            7	
 HOL/ex/arith.ML           9	
 HOL/ex/big-un-int.ML      7	
 HOL/ex/equal.ML           7	
 HOL/ex/hard-quant.ML      8	
 HOL/ex/higher.ML          8	
 HOL/ex/prop.ML            9	
 HOL/ex/quant.ML           9	
 HOL/ex/recfns.ML          8	
 HOL/ex/un-int.ML          9	
 DOC                       7	
 DOC/ROOT.tex              9	
 DOC/app.tex               9	
 DOC/ch1.tex              10	
 DOC/ch2.tex              11	
 DOC/ch3.tex              12	
 DOC/ch4.tex              13	
 DOC/ch5.tex              14	
 DOC/index.tex            10	
 DOC/isa-macs.tex          8	
 DOC/CUP.sty              10	
 DOC/MathMacros.sty        9	
 DOC/a4.sty               10	
 DOC/itmath.sty           10	
 DOC/lcp.sty              10	
 DOC/under.sty            10	
 MANIFEST                  1	This shipping list
