This is TeX, Version 3.1415 (C version 6.1) (format=latex 96.10.31) 1 DEC 1998 02:53 **&latex computability.tex (computability.tex LaTeX2e <1996/06/01> (inputs/handout.cls Document Class: handout 1995/09/14 v1.0 beta 6.044 handout style (/b/dmjones/tex/system/macros/latex/base/article.cls Document Class: article 1996/05/26 v1.3r Standard LaTeX document class (/b/dmjones/tex/system/macros/latex/base/size11.clo File: size11.clo 1996/05/26 v1.3r Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (inputs/handouts-6044-fall-98.tex) \toppush=\skip43 ) (/b/dmjones/tex/system/macros/latex/amslatex/amsmath.sty Package: amsmath 1995/02/23 v1.2b AMS math features \@mathmargin=\skip44 (/b/dmjones/tex/system/macros/latex/amslatex/amstext.sty Package: amstext 1995/01/25 v1.2 (/b/dmjones/tex/system/macros/latex/amslatex/amsgen.sty File: amsgen.sty 1995/01/31 v1.2a \@emptytoks=\toks14 \ex@=\dimen103 )) (/b/dmjones/tex/system/macros/latex/amslatex/amsbsy.sty Package: amsbsy 1995/01/20 v1.2 \pmbraise@=\dimen104 ) (/b/dmjones/tex/system/macros/latex/amslatex/amsopn.sty Package: amsopn 1995/02/20 v1.2a operator names ) LaTeX Info: Redefining \frac on input line 180. \uproot@=\count87 \leftroot@=\count88 \classnum@=\count89 \DOTSCASE@=\count90 LaTeX Info: Redefining \dots on input line 327. LaTeX Info: Redefining \ldots on input line 410. LaTeX Info: Redefining \cdots on input line 414. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 492. LaTeX Font Info: Redeclaring font encoding OMS on input line 493. \skewcharcount@=\count91 \familycount@=\count92 \pointcount@=\count93 \accentdimen@=\dimen106 \accentmu@=\count94 \minaw@=\dimen107 \c@MaxMatrixCols=\count95 \dotsspace@=\muskip10 \c@parentequation=\count96 \dspbrk@lvl=\count97 \tag@help=\toks15 \row@=\count98 \column@=\count99 \maxfields@=\count100 \andhelp@=\toks16 \eqnshift@=\dimen108 \alignsep@=\dimen109 \tagshift@=\dimen110 \tagwidth@=\dimen111 \totwidth@=\dimen112 \lineht@=\dimen113 \@envbody=\toks17 \multlinegap=\skip45 \multlinetaggap=\skip46 ) (/b/dmjones/tex/system/macros/latex/misc/prooftree.sty \mscount=\count101 (/b/dmjones/tex/system/macros/latex/misc/prooftree.tex \proofrulebreadth=\dimen114 \proofdotseparation=\dimen115 \proofrulebaseline=\dimen116 \proofdotnumber=\count102 \shortenproofleft=\dimen117 \shortenproofright=\dimen118 \proofbelowshift=\dimen119 \proofabove=\box28 \proofbelow=\box29 \proofrulename=\box30 )) (inputs/6044.sty (/b/dmjones/tex/system/macros/latex/amsfonts/amssymb.sty Package: amssymb 1995/01/05 v2.2 (/b/dmjones/tex/system/macros/latex/amsfonts/amsfonts.sty Package: amsfonts 1995/01/30 v2.2a \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 117. )) (/b/dmjones/tex/system/macros/latex/misc/stmaryrd.sty Package: stmaryrd 1994/03/03 St Mary's Road symbol package \symstmry=\mathgroup6 LaTeX Font Info: Overwriting symbol font `stmry' in version `bold' (Font) U/stmry/m/n --> U/stmry/b/n on input line 80. ) \c@lemma=\count103 \c@claim=\count104 \c@proposition=\count105 \c@theorem=\count106 \c@corollary=\count107 \c@definition=\count108 \c@exercise=\count109 \c@axiom=\count110 \c@expression=\count111 \c@newexamp=\count112 \c@newnot=\count113 \c@newrem=\count114 \c@fact=\count115 \c@problem=\count116 \c@subproblem=\count117 \c@ctr=\count118 \@answerboxheight=\dimen120 \@answerboxwidth=\dimen121 (/b/dmjones/tex/system/macros/latex/misc/bnf.sty Backus-Naur Form style option for LaTeX, (c) Mike Piff, 12/09/92 12:56pm ) (/b/dmjones/tex/system/macros/latex/misc/eqnarray.sty Package: eqnarray 1994/11/14 v2.0 fix eqnarray environment ) (/b/dmjones/tex/system/macros/latex/tools/verbatim.sty Package: verbatim 1995/04/26 v1.5g LaTeX2e package for verbatim enhancements \every@verbatim=\toks18 \verbatim@line=\toks19 \verbatim@in@stream=\read1 ) \old@everyhbox=\toks20 ) (/b/dmjones/tex/system/macros/latex/misc/time.sty \hour=\count119 \minute=\count120 ) (/b/dmjones/tex/system/macros/latex/misc/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) \tablewidth=\dimen122 (computability.aux) LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 114. LaTeX Font Info: ... okay on input line 114. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 114. LaTeX Font Info: ... okay on input line 114. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 114. LaTeX Font Info: ... okay on input line 114. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 114. LaTeX Font Info: ... okay on input line 114. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 114. LaTeX Font Info: ... okay on input line 114. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 114. LaTeX Font Info: ... okay on input line 114. LaTeX Font Info: Try loading font information for U+msa on input line 117. (/b/dmjones/tex/system/macros/latex/amsfonts/Umsa.fd File: Umsa.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 117. (/b/dmjones/tex/system/macros/latex/amsfonts/Umsb.fd File: Umsb.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+stmry on input line 117. (/b/dmjones/tex/system/macros/latex/misc/Ustmry.fd) [1 ] Overfull \hbox (2.18237pt too wide) in paragraph at lines 194--196 [][]$[] \OT1/cmr/m/n/10.95 = []$ for all $(\OML/cmm/m/it/10.95 S[] [] ; S[]\OT1 /cmr/m/n/10.95 ) \OMS/cmsy/m/n/10.95 2 []\OT1/cmr/m/n/10.95 (\OML/cmm/m/it/10.9 5 f\OT1/cmr/m/n/10.95 )$. [] [2] [3] [4] [5] [6] [7] [8] Overfull \hbox (33.09348pt too wide) in paragraph at lines 577--582 \OT1/cmr/m/n/10.95 is equiv-a-lent to [] for any Scheme ex-pres-sions $\OML/cmm /m/it/10.95 C; A$ \OT1/cmr/m/n/10.95 such that \OT1/cmr/m/it/10.95 both [] [] [9] [10] (computability.aux) ) Here is how much of TeX's memory you used: 1798 strings out of 10943 17705 string characters out of 73413 65684 words of memory out of 262141 4576 multiletter control sequences out of 9500 14068 words of font info for 55 fonts, out of 100000 for 255 17 hyphenation exceptions out of 607 30i,13n,26p,238b,259s stack positions out of 300i,40n,60p,3000b,4000s Output written on computability.dvi (10 pages, 28980 bytes).