This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2010.4.3) 13 JAN 2011 10:50 **book (book.tex LaTeX2e <1999/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (ws-book9x6.cls Document Class: ws-book9x6 1996/05/26 v1.3r Standard LaTeX document class \draftrule=\dimen102 \trimheight=\dimen103 \trimwidth=\dimen104 \typeheight=\dimen105 \typewidth=\dimen106 \normaltextheight=\dimen107 \normaltextwidth=\dimen108 \tablewidth=\dimen109 \tempdimen=\dimen110 \tablewd=\dimen111 \tempbox=\box26 \minute=\count79 \hour=\count80 \title=\toks14 \@cnumwidth=\dimen112 \c@part=\count81 \c@chapter=\count82 \c@section=\count83 \c@subsection=\count84 \c@subsubsection=\count85 \c@paragraph=\count86 \c@subparagraph=\count87 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \captionbox=\box27 \c@figure=\count88 psfig.sty inputed...ok (/sw/share/texmf/tex/generic/misc/psfig.sty \@unused=\write3 \ps@stream=\read1 \p@intvaluex=\dimen113 \p@intvaluey=\dimen114 psfig/tex 1.10-dvips ) epsfsafe.tex inputed...ok (epsfsafe.tex \epsffilein=\read2 \epsfxsize=\dimen115 \epsfysize=\dimen116 \epsftsize=\dimen117 \epsfrsize=\dimen118 \epsftmp=\dimen119 \pspoints=\dimen120 ) epsfig.sty inputed...ok (/sw/share/texmf/tex/latex/graphics/epsfig.sty LaTeX Warning: You have requested document class `ws-book9x6', but the document class provides `epsfig'. Document Class: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) (/sw/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/sw/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks15 ) (/sw/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR) (/sw/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/sw/share/texmf/tex/latex/config/graphics.cfg) Package graphics Info: Driver file: dvips.def on input line 80. (/sw/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen121 \Gin@req@width=\dimen122 ) \epsfxsize=\dimen123 \epsfysize=\dimen124 ) epsf.sty inputed...ok (/sw/share/texmf/tex/plain/dvips/epsf.tex This is `epsf.tex' v2.7k <10 July 1997> \epsffilein=\read3 \epsfframemargin=\dimen125 \epsfframethickness=\dimen126 \epsfrsize=\dimen127 \epsftmp=\dimen128 \epsftsize=\dimen129 \epsfxsize=\dimen130 \epsfysize=\dimen131 \pspoints=\dimen132 \epsfnoopenhelp=\toks16 ) \c@table=\count89 \tabledim=\dimen133 \c@theorem=\count90 \c@algorithm=\count91 \c@assertion=\count92 \c@assumption=\count93 \c@claim=\count94 \c@conjecture=\count95 \c@convention=\count96 \c@corollary=\count97 \c@criterion=\count98 \c@definition=\count99 \c@example=\count100 \c@lemma=\count101 \c@notation=\count102 \c@observation=\count103 \c@problem=\count104 \c@prop=\count105 \c@proposition=\count106 \c@question=\count107 \c@remark=\count108 \c@appendix=\count109 \c@ptitl=\count110 (/sw/share/texmf.local/tex/latex/Mystyle/rotating.sty Package: rotating 1997/09/26 2.12 Rotation package (/sw/share/texmf/tex/latex/base/ifthen.sty Package: ifthen 1999/09/10 v1.1b Standard LaTeX ifthen package (DPC) ) \c@r@tfl@t=\count111 \rot@float@box=\box28 ) (/sw/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks17 \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 133. ) (/sw/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 1996/11/03 v2.2b ) (/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks18 \ex@=\dimen134 )) (/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen135 ) (/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count112 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count113 \leftroot@=\count114 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count115 \DOTSCASE@=\count116 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box29 \strutbox@=\box30 \big@size=\dimen136 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count117 \c@MaxMatrixCols=\count118 \dotsspace@=\muskip10 \c@parentequation=\count119 \dspbrk@lvl=\count120 \tag@help=\toks19 \row@=\count121 \column@=\count122 \maxfields@=\count123 \andhelp@=\toks20 \eqnshift@=\dimen137 \alignsep@=\dimen138 \tagshift@=\dimen139 \tagwidth@=\dimen140 \totwidth@=\dimen141 \lineht@=\dimen142 \@envbody=\toks21 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks22 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/sw/share/texmf/tex/latex/misc/boxedminipage.sty) (/sw/share/texmf/tex/latex/base/makeidx.sty Package: makeidx 1999/09/17 v1.0l Standard LaTeX package ) (/sw/share/texmf/tex/latex/misc/url.sty Package: url 1999/03/02 ver 1.4 Verb mode for urls, email addresses, and file names )) (bussproofs.sty Proof Tree (bussproofs) style macros. Version 0.6c. \theLevel=\count124 \myMaxLevel=\count125 \myBoxA=\box31 \myBoxB=\box32 \myBoxC=\box33 \myBoxD=\box34 \myBoxLL=\box35 \myBoxRL=\box36 \thisAboveSkip=\dimen143 \thisBelowSkip=\dimen144 \newScoreStart=\dimen145 \newScoreEnd=\dimen146 \newCenter=\dimen147 \displace=\dimen148 \leftLowerAmt=\dimen149 \rightLowerAmt=\dimen150 \scoreHeight=\dimen151 \scoreDepth=\dimen152 ) (defs.tex (/sw/share/texmf/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 42. ) \c@DEL=\count126 \c@DELUKE=\count127 \c@TOPIC=\count128 \c@SUBTOPIC=\count129 \c@EXC=\count130 \c@oppg=\count131 \c@CLAIM=\count132 \c@HUSK=\count133 \c@ax=\count134 \c@axA=\count135 \c@axB=\count136 \c@axC=\count137 \c@axD=\count138 \c@LTcount=\count139 \c@PSEC=\count140 \c@PSUB=\count141 \c@PSUBSUB=\count142 \c@PST=\count143 \c@pst=\count144 ) (/sw/share/texmf/tex/generic/xypic/xypic.tex (/sw/share/texmf/tex/generic/xypic/xyv2.tex (/sw/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/sw/share/texmf/tex/generic/xypic/xyrecat.tex) (/sw/share/texmf/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen153 \Y@c=\dimen154 \U@c=\dimen155 \D@c=\dimen156 \L@c=\dimen157 \R@c=\dimen158 \Edge@c=\toks23 \X@p=\dimen159 \Y@p=\dimen160 \U@p=\dimen161 \D@p=\dimen162 \L@p=\dimen163 \R@p=\dimen164 \Edge@p=\toks24 \X@origin=\dimen165 \Y@origin=\dimen166 \X@xbase=\dimen167 \Y@xbase=\dimen168 \X@ybase=\dimen169 \Y@ybase=\dimen170 \X@min=\dimen171 \Y@min=\dimen172 \X@max=\dimen173 \Y@max=\dimen174 \lastobjectbox@=\box37 \zerodotbox@=\box38 \almostz@=\dimen175 direction, \d@X=\dimen176 \d@Y=\dimen177 \K@=\count145 \KK@=\count146 \Direction=\count147 \K@dXdY=\dimen178 \K@dYdX=\dimen179 \xyread@=\read4 \xywrite@=\write4 \csp@=\count148 \quotPTK@=\dimen180 utility macros; pictures: \xy, positions, \swaptoks@@=\toks25 \connectobjectbox@@=\box39 objects, \styletoks@=\toks26 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) Xy-pic option: Version 2 Compatibility v.3.4 Xy-pic Warning: `\stop' redefined. Xy-pic Warning: `\rotate' redefined. (/sw/share/texmf/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/sw/share/texmf/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count149 \Col=\count150 \queue@=\toks27 \queue@@=\toks28 \qcount@=\count151 \qcount@@=\count152 \matrixsize@=\count153 loaded) (/sw/share/texmf/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) loaded)) (/sw/share/texmf/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count154 \crvpts@=\toks29 \splinebox@=\box40 \splineval@=\dimen181 \splinedepth@=\dimen182 \splinetol@=\dimen183 \splinelength@=\dimen184 circles, \L@=\dimen185 loaded) (book.aux) \openout1 = `book.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. [1 ] [2] [3] [4] LaTeX Font Info: Try loading font information for U+msa on input line 21. (/sw/share/texmf/tex/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 21. (/sw/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 21. (/sw/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions ) (book.toc [5 ] [6]) \tf@toc=\write5 \openout5 = `book.toc'. [7] [8] [1] [2] [3] [4] [5] LaTeX Font Warning: Font shape `OT1/cmss/m/it' in size <10> not available (Font) Font shape `OT1/cmss/m/sl' tried instead on input line 327. [6] [7] [8] [9] [10] [11] LaTeX Font Warning: Font shape `OT1/cmss/m/it' in size <9> not available (Font) Font shape `OT1/cmss/m/sl' tried instead on input line 752. [12] [13] [14] [15] [16] [17] [18] [19] LaTeX Font Info: Font shape `U/lasy/b/n' in size <7> not available (Font) Font shape `U/lasy/m/n' tried instead on input line 1116. LaTeX Font Info: Font shape `U/lasy/b/n' in size <5> not available (Font) Font shape `U/lasy/m/n' tried instead on input line 1116. [20] [21] [22] [23] [24] [25] [26] [27] Package amsmath Warning: Foreign command \over; (amsmath) \frac or \genfrac should be used instead (amsmath) on input line 1537. [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.2608 } ? r OK, entering \nonstopmode... ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.2608 } Try typing to proceed. If that doesn't work, type X to quit. [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] LaTeX Font Info: Try loading font information for OMS+cmtt on input line 326 4. LaTeX Font Info: No file OMScmtt.fd. on input line 3264. LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 3264. [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.4162 ...ns, which will be addressed later on. } Try typing to proceed. If that doesn't work, type X to quit. [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.5435 world. } Let $\bool$ be a set with two elements. {\em Any} such set ... Try typing to proceed. If that doesn't work, type X to quit. [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.6826 } Try typing to proceed. If that doesn't work, type X to quit. [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.7843 \Subtopic{Abbreviations} Try typing to proceed. If that doesn't work, type X to quit. [140] [141] [142] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.7968 \Subtopic{Some examples} Try typing to proceed. If that doesn't work, type X to quit. [143] [144] [145] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.8103 \Subtopic{Substitution} \vspace*{-3ex} Try typing to proceed. If that doesn't work, type X to quit. [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.11736 } Try typing to proceed. If that doesn't work, type X to quit. [211] [212] [213] [214] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.11941 \Subtopic{Axioms for Identity} \label{sub:axiomsID} Try typing to proceed. If that doesn't work, type X to quit. [215] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.12000 \Subtopic{Some examples} Try typing to proceed. If that doesn't work, type X to quit. [216] [217] [218] [219] [220] [221] ! LaTeX Error: Something's wrong--perhaps a missing \item. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.12296 \Subtopic{Compactness} Try typing to proceed. If that doesn't work, type X to quit. [222] [223] [224] [225] [226] [227] [228] [229] (book.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. ) (\end occurred inside a group at level 1) Here is how much of TeX's memory you used: 5500 strings out of 25903 56533 string characters out of 4947615 229630 words of memory out of 1100001 8351 multiletter control sequences out of 10000+30000 29169 words of font info for 115 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 34i,19n,28p,341b,1204s stack positions out of 300i,100n,500p,50000b,4000s Output written on book.dvi (237 pages, 992264 bytes).