This is TeX, Version 3.141, with extended memory (preloaded format=lplain 93.8.17)  13 SEP 1994 12:33
**&Big-LaTeX caap-94.tex
(caap-94.tex
LaTeX Version 2.09 <18 March 1992>
(:Local-TeX-inputs:User:llncs.sty
Document Style `llncs', <version 1.2>
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@figure=\count84
\c@table=\count85
\c@@inst=\count86
\c@@auth=\count87
\c@theorem=\count88
\c@example=\count89
) (caap-94.aux)
\c@thm=\count90
\c@lem=\count91
\c@cor=\count92
\c@ex=\count93
\c@rem=\count94
\c@prop=\count95
\c@alg=\count96
\c@deff=\count97

Underfull \hbox (badness 3746) in paragraph at lines 60--63
[] []\ninrm We de-fine \ninit Higher Or-der Re-cur-sive Pro-gram Schemes

\hbox(6.25+1.75)x290.21805, glue set 3.34734
.\hbox(0.0+0.0)x0.0
.\glue 0.0
.\hbox(6.25+0.0)x48.69821
..\glue 0.0
..\glue 0.0
..\glue -5.0
..\hbox(6.25+0.0)x48.69821
...\glue 0.0 plus 1.0fil
...\glue 5.0
...\ninbf A
...\ninbf b
...\ninbf s
...etc.
..\glue 5.0
.\penalty 0
.\ninrm W
.etc.

[1

]
Underfull \vbox (badness 5105) has occurred while \output is active
\vbox(549.13828+0.0)x347.12354, glue set 3.71275
.\glue(\topskip) 2.5
.\hbox(7.5+2.5)x347.12354, glue set 0.2961
..\tenrm i
..\tenrm s
..\glue 3.33333 plus 1.66666 minus 1.11111
..\tenrm c
..\tenrm l
..etc.
.\penalty 100
.\glue(\baselineskip) 2.0
.\hbox(7.5+2.5)x347.12354, glue set 0.6006
..\tenrm t
..\tenrm a
..\tenrm x
..\glue 3.33333 plus 1.66666 minus 1.11111
..\tenrm o
..etc.
.etc.

 [2]
Underfull \vbox (badness 10000) has occurred while \output is active
\vbox(549.13828+0.0)x347.12354, glue set 7.71275
.\glue(\topskip) 3.05556
.\hbox(6.94444+1.94444)x347.12354, glue set 0.7045
..\tenrm S
..\tenrm i
..\tenrm m
..\discretionary
...\tenrm -
..\tenrm i
..etc.
.\glue(\baselineskip) 2.55556
.\hbox(7.5+2.5)x347.12354, glue set 0.12291
..\tenrm r
..\tenrm e
..\discretionary
...\tenrm -
..\tenrm d
..\tenrm e
..etc.
.\glue(\baselineskip) 2.0
.etc.

 [3]
[4] [5] [6]
Overfull \hbox (2.97469pt too wide) in paragraph at lines 358--361
\tenmi s[] \tensy ^^R \tenmi o[]$\tenrm , and $\tenmi IE[]\tenrm (\tenmi s[]; s
\tenrm )$. If $\tenmi IE[]\tenrm (\tenmi s[]; o[]\tenrm )$, then by the in-duc-
tion as-sump-tion $\tenmi IE[]\tenrm (\tenmi t[]; e[]\tenrm )$

\hbox(7.51782+2.5)x347.12354, glue set - 1.0
.\tenmi s
.\hbox(3.8889+0.0)x2.80556, shifted -3.62892
..\sevsy 0
.\glue(\thickmuskip) 2.77771 plus 2.77771
.\tensy ^^R
.\penalty 500
.etc.


Overfull \hbox (1.35895pt too wide) in paragraph at lines 358--361
\tenrm and hence $\tenmi IE[]\tenrm (\tenmi t[]; t\tenrm )$. Oth-er-wise, by Le
mma3.2[].(3), $\tenmi IE[]\tenrm (\tenmi o[]; s\tenrm )$; by Lemma3.2[].(2),

\hbox(7.51782+2.5)x347.12354, glue set - 1.0
.\tenrm a
.\tenrm n
.\tenrm d
.\glue 3.33333 plus 1.66666 minus 1.11111
.\tenrm h
.etc.

[7] (rep.dev.latex) (rep.lem.latex) (rep.lem2.latex)
Overfull \hbox (32.65561pt too wide) in paragraph at lines 427--430
 [] 

\hbox(74.12126+69.12126)x347.12354
.\glue(\leftskip) 0.0 plus 1.0fil
.\hbox(74.12126+69.12126)x379.77914
..\mathon
..\vbox(74.12126+69.12126)x379.77914
...\hbox(139.64249+3.60004)x379.77914 []
..\mathoff
.\penalty 10000
.\glue(\parfillskip) 0.0
.\glue(\rightskip) 0.0 plus 1.0fil

[8] [9] [10] [11] [12] [13] [14] [15] (caap-94.aux) ) 
Here is how much of TeX's memory you used:
 416 strings out of 6965
 3626 string characters out of 23039
 44433 words of memory out of 200001
 2354 multiletter control sequences out of 10000
 21455 words of font info for 82 fonts, out of 60000 for 255
 14 hyphenation exceptions out of 2551
 14i,10n,22p,1466b,370s stack positions out of 600i,150n,200p,3000b,2000s

Output written on caap-94.dvi (15 pages, 79432 bytes).