This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25) 26 JAN 2022 19:17 entering extended mode **all.intensional (./all.intensional.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/Users/cp/svn/hilbertbernays/trunk/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/Users/cp/svn/hilbertbernays/trunk/size12.clo File: size12.clo 2000/05/19 v1.4b 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 ) (/Users/cp/svn/hilbertbernays/trunk/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/Users/cp/svn/hilbertbernays/trunk/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/Users/cp/svn/hilbertbernays/trunk/named.sty) (/Users/cp/svn/hilbertbernays/trunk/namedhelper.tex) (/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/mssymb.sty \msxfam=\mathgroup4 \msyfam=\mathgroup5 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/marginnote.sty Package: marginnote 2006/10/26 v1.1 non floating margin notes for LaTeX \c@mn@abspage=\count87 ) (/Users/cp/svn/hilbertbernays/trunk/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/dina4.sty) (/Users/cp/svn/hilbertbernays/trunk/headerhot.tex \disp=\skip43 \textwidthminustwomm=\skip44 \textwidthminushalfcm=\skip45 \textwidthminusonecm=\skip46 \textwidthminustwocm=\skip47 \textwidthminusfourcm=\skip48 \textwidthminussixcm=\skip49 \yinibox=\box26 ) (/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex) (/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex) (/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex \c@theorem=\count88 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerproof.tex) (./all.intensional.aux) \openout1 = `all.intensional.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 60. LaTeX Font Info: ... okay on input line 60. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 60. LaTeX Font Info: ... okay on input line 60. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 60. LaTeX Font Info: ... okay on input line 60. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 60. LaTeX Font Info: ... okay on input line 60. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 60. LaTeX Font Info: ... okay on input line 60. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 60. LaTeX Font Info: ... okay on input line 60. Package marginnote Info: either \pdflastxpos or \pdfoutput not available (marginnote) or \pdfoutput set to 0. (marginnote) Extended possition detection mode deactivated. LaTeX Font Info: External font `cmex10' loaded for size (Font) <14.4> on input line 60. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 60. (./all.intensional.toc LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 1. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 1. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 1. Package marginnote Info: Margin note 1.1 is on absolute page 1 (marginnote) on input line 9. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 9. Package marginnote Info: Margin note 1.2 is on absolute page 1 (marginnote) on input line 10. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 10. Package marginnote Info: Margin note 1.3 is on absolute page 1 (marginnote) on input line 11. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 11. Package marginnote Info: Margin note 1.4 is on absolute page 1 (marginnote) on input line 12. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 12. Package marginnote Info: Margin note 1.5 is on absolute page 1 (marginnote) on input line 13. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 13. Package marginnote Info: Margin note 1.6 is on absolute page 1 (marginnote) on input line 14. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 14. Package marginnote Info: Margin note 1.7 is on absolute page 1 (marginnote) on input line 15. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 15. Package marginnote Info: Margin note 1.8 is on absolute page 1 (marginnote) on input line 16. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 16. Package marginnote Info: Margin note 1.9 is on absolute page 2 (marginnote) on input line 17. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 17. [1 ] Package marginnote Info: Margin note 2.1 is on absolute page 2 (marginnote) on input line 18. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 18. Package marginnote Info: Margin note 2.2 is on absolute page 2 (marginnote) on input line 19. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 19. Package marginnote Info: Margin note 2.3 is on absolute page 2 (marginnote) on input line 20. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 20. Package marginnote Info: Margin note 2.4 is on absolute page 2 (marginnote) on input line 21. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 21. Package marginnote Info: Margin note 2.5 is on absolute page 2 (marginnote) on input line 22. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 22. Package marginnote Info: Margin note 2.6 is on absolute page 2 (marginnote) on input line 23. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 23. Package marginnote Info: Margin note 2.7 is on absolute page 2 (marginnote) on input line 24. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 24. Package marginnote Info: Margin note 2.8 is on absolute page 2 (marginnote) on input line 25. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 25. Package marginnote Info: Margin note 2.9 is on absolute page 2 (marginnote) on input line 26. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 26. Package marginnote Info: Margin note 2.10 is on absolute page 2 (marginnote) on input line 27. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 27. Package marginnote Info: Margin note 2.11 is on absolute page 2 (marginnote) on input line 28. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 28. Package marginnote Info: Margin note 2.12 is on absolute page 2 (marginnote) on input line 29. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 29. Package marginnote Info: Margin note 2.13 is on absolute page 2 (marginnote) on input line 30. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 30. Package marginnote Info: Margin note 2.14 is on absolute page 2 (marginnote) on input line 31. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 31. Package marginnote Info: Margin note 2.15 is on absolute page 2 (marginnote) on input line 32. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 32. Package marginnote Info: Margin note 2.16 is on absolute page 2 (marginnote) on input line 33. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 33. Package marginnote Info: Margin note 2.17 is on absolute page 2 (marginnote) on input line 34. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 34. Package marginnote Info: Margin note 2.18 is on absolute page 2 (marginnote) on input line 35. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 35. Package marginnote Info: Margin note 2.19 is on absolute page 2 (marginnote) on input line 36. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 36. Package marginnote Info: Margin note 2.20 is on absolute page 2 (marginnote) on input line 37. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 37. Package marginnote Info: Margin note 2.21 is on absolute page 2 (marginnote) on input line 38. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 38. Package marginnote Info: Margin note 2.22 is on absolute page 2 (marginnote) on input line 39. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 39. Package marginnote Info: Margin note 2.23 is on absolute page 2 (marginnote) on input line 40. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 40. [2] Package marginnote Info: Margin note 3.1 is on absolute page 3 (marginnote) on input line 46. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 46. Package marginnote Info: Margin note 3.2 is on absolute page 3 (marginnote) on input line 47. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 47. Package marginnote Info: Margin note 3.3 is on absolute page 3 (marginnote) on input line 48. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 48. Package marginnote Info: Margin note 3.4 is on absolute page 3 (marginnote) on input line 49. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 49. ) \tf@toc=\write3 \openout3 = `all.intensional.toc'. [3] [4 ] LaTeX Font Info: External font `cmex10' loaded for size (Font) <17.28> on input line 63. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 73. LaTeX Font Info: Try loading font information for OMS+cmr on input line 228. (/Users/cp/svn/hilbertbernays/trunk/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 228. Underfull \vbox (badness 10000) has occurred while \output is active [] [5] [6] [7] [8] Package marginnote Info: Margin note 9.1 is on absolute page 9 (marginnote) on input line 455. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 455. Package marginnote Info: Margin note 9.2 is on absolute page 9 (marginnote) on input line 534. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 534. Package marginnote Info: Margin note 9.3 is on absolute page 9 (marginnote) on input line 656. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 656. Package marginnote Info: Margin note 9.4 is on absolute page 9 (marginnote) on input line 659. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 659. Package marginnote Info: Margin note 9.5 is on absolute page 10 (marginnote) on input line 710. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 710. [9] Package marginnote Info: Margin note 10.1 is on absolute page 10 (marginnote) on input line 792. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 792. Package marginnote Info: Margin note 10.2 is on absolute page 10 (marginnote) on input line 858. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 858. Package marginnote Info: Margin note 10.3 is on absolute page 10 (marginnote) on input line 940. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 940. [10] Package marginnote Info: Margin note 11.1 is on absolute page 11 (marginnote) on input line 1009. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 1009. Package marginnote Info: Margin note 11.2 is on absolute page 11 (marginnote) on input line 1095. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 1095. [11] Package marginnote Info: Margin note 12.1 is on absolute page 12 (marginnote) on input line 1179. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 1179. Package marginnote Info: Margin note 12.2 is on absolute page 12 (marginnote) on input line 1243. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 1243. Package marginnote Info: Margin note 12.3 is on absolute page 12 (marginnote) on input line 1334. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 1334. Package marginnote Info: Margin note 12.4 is on absolute page 13 (marginnote) on input line 1377. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 1377. [12] Package marginnote Info: Margin note 13.1 is on absolute page 13 (marginnote) on input line 1424. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 1424. Package marginnote Info: Margin note 13.2 is on absolute page 13 (marginnote) on input line 1489. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 1489. Package marginnote Info: Margin note 13.3 is on absolute page 13 (marginnote) on input line 1555. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 1555. Underfull \vbox (badness 2261) has occurred while \output is active [] [13] Package marginnote Info: Margin note 14.1 is on absolute page 14 (marginnote) on input line 1608. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 1608. Package marginnote Info: Margin note 14.2 is on absolute page 14 (marginnote) on input line 1672. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 1672. Package marginnote Info: Margin note 14.3 is on absolute page 14 (marginnote) on input line 1734. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 1734. [14] Underfull \hbox (badness 1389) in paragraph at lines 1783--1783 \T1/cmr/bx/n/17.28 Ver-nunft von der speku-la-tiven (tran[]-zen-den-talen, [] Package marginnote Info: Margin note 15.1 is on absolute page 15 (marginnote) on input line 1803. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 1803. Package marginnote Info: Margin note 15.2 is on absolute page 15 (marginnote) on input line 1923. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 1923. [15] Package marginnote Info: Margin note 16.1 is on absolute page 16 (marginnote) on input line 2004. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2004. Package marginnote Info: Margin note 16.2 is on absolute page 16 (marginnote) on input line 2065. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2065. [16] Package marginnote Info: Margin note 17.1 is on absolute page 17 (marginnote) on input line 2117. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2117. Package marginnote Info: Margin note 17.2 is on absolute page 17 (marginnote) on input line 2120. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2120. Package marginnote Info: Margin note 17.3 is on absolute page 17 (marginnote) on input line 2123. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2123. [17] Package marginnote Info: Margin note 18.1 is on absolute page 18 (marginnote) on input line 2188. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2188. Package marginnote Info: Margin note 18.2 is on absolute page 18 (marginnote) on input line 2191. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2191. [18] Package marginnote Info: Margin note 19.1 is on absolute page 19 (marginnote) on input line 2278. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2278. Overfull \hbox (2.44585pt too wide) in paragraph at lines 2280--2287 \T1/cmr/m/n/12 Kant erk-lärt hier die formal-logischen Grundzüge von \T1/cmr/m/ it/12 De-duk-tion \T1/cmr/m/n/12 (Her-leitung, Herau[]-ziehung) [] [19] Underfull \vbox (badness 1540) has occurred while \output is active [] [20] Underfull \vbox (badness 10000) has occurred while \output is active [] [21] Package marginnote Info: Margin note 22.1 is on absolute page 22 (marginnote) on input line 2576. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2576. Package marginnote Info: Margin note 22.2 is on absolute page 22 (marginnote) on input line 2631. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2631. [22] Package marginnote Info: Margin note 23.1 is on absolute page 23 (marginnote) on input line 2700. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2700. [23] Package marginnote Info: Margin note 24.1 is on absolute page 24 (marginnote) on input line 2750. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2750. Package marginnote Info: Margin note 24.2 is on absolute page 24 (marginnote) on input line 2804. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2804. Package marginnote Info: Margin note 24.3 is on absolute page 24 (marginnote) on input line 2812. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2812. [24] Package marginnote Info: Margin note 25.1 is on absolute page 25 (marginnote) on input line 2823. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2823. Package marginnote Info: Margin note 25.2 is on absolute page 25 (marginnote) on input line 2839. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2839. Package marginnote Info: Margin note 25.3 is on absolute page 25 (marginnote) on input line 2883. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2883. Package marginnote Info: Margin note 25.4 is on absolute page 25 (marginnote) on input line 2916. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2916. Package marginnote Info: Margin note 25.5 is on absolute page 26 (marginnote) on input line 2958. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2958. Package marginnote Info: Margin note 25.6 is on absolute page 25 (marginnote) on input line 2959. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 2959. Package marginnote Info: Margin note 25.7 is on absolute page 26 (marginnote) on input line 2998. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 2998. [25] [26] Package marginnote Info: Margin note 27.1 is on absolute page 27 (marginnote) on input line 3068. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3068. Package marginnote Info: Margin note 27.2 is on absolute page 27 (marginnote) on input line 3142. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3142. Overfull \hbox (2.33757pt too wide) in paragraph at lines 3144--3156 \T1/cmr/m/n/12 Abgesehen davon, dass der Schluss, die Seele sei Sub[]-tanz, ein Fehlschluss, also ein Paralogi[]- [] [27] Package marginnote Info: Margin note 28.1 is on absolute page 28 (marginnote) on input line 3179. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3179. Package marginnote Info: Margin note 28.2 is on absolute page 28 (marginnote) on input line 3208. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3208. Package marginnote Info: Margin note 28.3 is on absolute page 28 (marginnote) on input line 3242. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3242. Package marginnote Info: Margin note 28.4 is on absolute page 28 (marginnote) on input line 3309. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3309. Package marginnote Info: Margin note 28.5 is on absolute page 28 (marginnote) on input line 3315. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3315. [28] Package marginnote Info: Margin note 29.1 is on absolute page 29 (marginnote) on input line 3322. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3322. Package marginnote Info: Margin note 29.2 is on absolute page 29 (marginnote) on input line 3326. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3326. [29] [30] Package marginnote Info: Margin note 31.1 is on absolute page 31 (marginnote) on input line 3462. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3462. Package marginnote Info: Margin note 31.2 is on absolute page 31 (marginnote) on input line 3517. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3517. Overfull \hbox (0.69899pt too wide) in paragraph at lines 3519--3524 \T1/cmr/m/n/12 Kant klas-si-fiziert hier die vier The-sen des vorigen Kapi-tels als den Stand-punkt des \T1/cmr/m/it/12 Dogmati[]- [] [31] Package marginnote Info: Margin note 32.1 is on absolute page 32 (marginnote) on input line 3544. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3544. Overfull \hbox (4.72922pt too wide) in paragraph at lines 3546--3559 \T1/cmr/m/n/12 In diesem Kapi-tel bekennt sich Kant zu einem Glauben an Voll-st ändigkeit in reiner Mathema- [] Package marginnote Info: Margin note 32.2 is on absolute page 32 (marginnote) on input line 3617. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3617. Package marginnote Info: Margin note 32.3 is on absolute page 32 (marginnote) on input line 3625. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3625. Underfull \vbox (badness 10000) has occurred while \output is active [] [32] Package marginnote Info: Margin note 33.1 is on absolute page 33 (marginnote) on input line 3634. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3634. Package marginnote Info: Margin note 33.2 is on absolute page 33 (marginnote) on input line 3656. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3656. [33] Package marginnote Info: Margin note 34.1 is on absolute page 34 (marginnote) on input line 3710. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3710. Package marginnote Info: Margin note 34.2 is on absolute page 34 (marginnote) on input line 3731. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 3731. Underfull \vbox (badness 4205) has occurred while \output is active [] [34] Overfull \hbox (0.92583pt too wide) in paragraph at lines 3832--3843 \T1/cmr/m/n/12 Kant bezieht sich hi-er-bei nicht auf die physikalis-chen Dinge an sich selbst oder die Geschichte [] Package marginnote Info: Margin note 35.1 is on absolute page 35 (marginnote) on input line 3845. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3845. Package marginnote Info: Margin note 35.2 is on absolute page 35 (marginnote) on input line 3878. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3878. Package marginnote Info: Margin note 35.3 is on absolute page 35 (marginnote) on input line 3907. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 3907. [35] Package marginnote Info: Margin note 36.1 is on absolute page 36 (marginnote) on input line 4003. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 4003. [36] Package marginnote Info: Margin note 37.1 is on absolute page 37 (marginnote) on input line 4020. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 4020. Underfull \vbox (badness 10000) has occurred while \output is active [] [37] [38] Package marginnote Info: Margin note 39.1 is on absolute page 39 (marginnote) on input line 4171. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 4171. Package marginnote Info: Margin note 39.2 is on absolute page 39 (marginnote) on input line 4174. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 4174. Package marginnote Info: Margin note 39.3 is on absolute page 39 (marginnote) on input line 4210. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 4210. Package marginnote Info: Margin note 39.4 is on absolute page 39 (marginnote) on input line 4217. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 4217. [39] Package marginnote Info: Margin note 40.1 is on absolute page 40 (marginnote) on input line 4225. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 4225. Package marginnote Info: Margin note 40.2 is on absolute page 40 (marginnote) on input line 4287. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 4287. [40] [41] Overfull \hbox (2.38118pt too wide) in paragraph at lines 4435--4449 []\T1/cmr/m/n/12 Die for-malen Be-zeich-nung und die Be-weise di-enen lediglich zur präzisen for-malen Darstel- [] [42] [43] [44] [45] [46] [47] [48] Package marginnote Info: Margin note 49.1 is on absolute page 49 (marginnote) on input line 5039. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 5039. Package marginnote Info: Margin note 49.2 is on absolute page 49 (marginnote) on input line 5067. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 5067. Package marginnote Info: Margin note 49.3 is on absolute page 49 (marginnote) on input line 5108. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 5108. [49] Package marginnote Info: Margin note 50.1 is on absolute page 50 (marginnote) on input line 5125. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 5125. Package marginnote Info: Margin note 50.2 is on absolute page 50 (marginnote) on input line 5155. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 5155. Package marginnote Info: Margin note 50.3 is on absolute page 50 (marginnote) on input line 5160. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 5160. Package marginnote Info: Margin note 50.4 is on absolute page 50 (marginnote) on input line 5190. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 5190. Package marginnote Info: Margin note 50.5 is on absolute page 50 (marginnote) on input line 5222. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 5222. [50] Package marginnote Info: Margin note 51.1 is on absolute page 51 (marginnote) on input line 5231. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 5231. Package marginnote Info: Margin note 51.2 is on absolute page 51 (marginnote) on input line 5263. Package marginnote Info: xpos not known, (marginnote) using \marginnoteleftadjust on input line 5263. [51] Package marginnote Info: Margin note 52.1 is on absolute page 52 (marginnote) on input line 5311. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 5311. [52] Overfull \hbox (3.38518pt too wide) in paragraph at lines 5337--5340 []\T1/cmr/m/n/12 Es gibt auch nicht-sinnliche An-schau-un-gen []A254[], aber Ka nt meint mit []Anschauung`` [] [53 ] [54] Package marginnote Info: Margin note 55.1 is on absolute page 56 (marginnote) on input line 5626. Package marginnote Info: xpos not known, (marginnote) using \marginnoterightadjust on input line 5626. [55] [56] (./all.intensional.bbl LaTeX Font Info: Try loading font information for T1+cmtt on input line 83. (/Users/cp/svn/hilbertbernays/trunk/t1cmtt.fd File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) [57] [58]) [59] (./all.intensional.aux) ) Here is how much of TeX's memory you used: 7593 strings out of 94501 89872 string characters out of 1176137 158071 words of memory out of 1500000 9989 multiletter control sequences out of 10000+50000 35911 words of font info for 98 fonts, out of 1200000 for 2000 1333 hyphenation exceptions out of 8191 32i,30n,27p,1027b,402s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on all.intensional.dvi (59 pages, 252524 bytes).