This is TeX, C Version 3.14t3 (format=lplain 93.7.6)  20 SEP 1994 12:03
**paper
(paper.tex
LaTeX Version 2.09 <14 January 1991>
(/ccs/apps/tex/lib/inputs/article.sty
Document Style `article' <16 Mar 88>.
(/ccs/apps/tex/lib/inputs/art11.sty)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
) (wand-secs.sty
Document Style Option mysecs -- Mitch Wand's customizations, 2/17/90
\hours=\count87
\minutes=\count88
\hh=\count89
) (macros-for-paper.tex
\c@definition=\count90
\c@thmctr=\count91
) (paper.aux) [1

] [2] [3] [4] [5] [6]
Overfull \hbox (33.74657pt too wide) in paragraph at lines 465--465
[]                     \tentt ('cons v_2 ('cddr ('cons v_1 ('cons v stack))))))
)))))[] 

\hbox(6.94444+0.95135)x360.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\penalty 10000
.\glue 5.24995
.etc.


Overfull \hbox (17.9967pt too wide) in paragraph at lines 465--465
[]            \tentt ((lambda (v_2) ('target-semantics tail u ('cons v_2 stack)
))[] 

\hbox(6.94444+2.22223)x360.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\penalty 10000
.\glue 5.24995
.etc.


Overfull \hbox (33.74657pt too wide) in paragraph at lines 518--518
[]               \tentt (lambda (v) ('target-semantics tail u ('cons v stack)))
)))))[] 

\hbox(6.94444+2.22223)x360.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\penalty 10000
.\glue 5.24995
.etc.


Overfull \hbox (33.74657pt too wide) in paragraph at lines 518--518
[]               \tentt (lambda (v) ('target-semantics tail u ('cons v stack)))
)))))[] 

\hbox(6.94444+2.22223)x360.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\penalty 10000
.\glue 5.24995
.etc.

[7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
Overfull \hbox (38.99652pt too wide) in paragraph at lines 1029--1029
[]           \tentt (rewriting-tacfn             ; glom rules into a tacfn (val
->tac)[] 

\hbox(6.94444+2.22223)x360.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\penalty 10000
.\glue 5.24995
.etc.


Overfull \hbox (23.24666pt too wide) in paragraph at lines 1077--1077
[]         \tentt (nt-ihs (find-nt-ihs nonterm ih-l))) ; all IH's for this nont
erm[] 

\hbox(6.94444+1.38887)x360.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\penalty 10000
.\glue 5.24995
.etc.


Overfull \hbox (2.24684pt too wide) in paragraph at lines 1077--1077
[]               \tentt ;; generate induction equation goal (step (2) in alg.)[
] 

\hbox(6.94444+2.22223)x360.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\penalty 10000
.\glue 5.24995
.etc.


Overfull \hbox (12.74675pt too wide) in paragraph at lines 1077--1077
[]               \tentt ;; build new "induction" rules, specialized by ordsigma
:[] 

\hbox(6.11111+2.22223)x360.0
.\hbox(0.0+0.0)x0.0
.\penalty 10000
.\glue 5.24995
.\penalty 10000
.\glue 5.24995
.etc.

[20] [21] [22] [23] [24] [25] [26] [27] (paper.bbl [28] [29]) [30] (paper.aux) 
) 
Here is how much of TeX's memory you used:
 293 strings out of 4463
 2821 string characters out of 63296
 55165 words of memory out of 262141
 2235 multiletter control sequences out of 9500
 18996 words of font info for 72 fonts, out of 72000 for 255
 14 hyphenation exceptions out of 607
 16i,11n,17p,213b,343s stack positions out of 300i,40n,60p,3000b,4000s

Output written on paper.dvi (30 pages, 64260 bytes).