This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2005.2.22) 30 JUN 2005 19:35
**page
(./page.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, d
anish, nohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/fleqn.clo
File: fleqn.clo 1998/08/17 v1.1c Standard LaTeX option (flush left equations)
\mathindent=\dimen102
)
(/usr/share/texmf/tex/latex/base/size10.clo
File: size10.clo 2001/04/21 v1.4e 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=\dimen103
) (./lgwinclude.tex)
(/usr/share/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info: Overwriting symbol font `lasy' in version `bold'
(Font) U/lasy/m/n --> U/lasy/b/n on input line 42.
)
(/usr/share/texmf/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
) (./page.sty)
\@indexfile=\write3
\openout3 = `page.idx'.
Writing index file page.idx
\bracketwidth=\skip43
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <7> on input line 23.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <5> on input line 23.
LaTeX Font Info: Try loading font information for U+lasy on input line 23.
(/usr/share/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
(/usr/share/texmf/tex/latex/hyperref/hyperref.sty
Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
(/usr/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
\@linkdim=\dimen104
\Hy@linkcounter=\count87
\Hy@pagecounter=\count88
(/usr/share/texmf/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
)
(/usr/share/texmf/tex/latex/config/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
)
Package hyperref Info: Hyper figures OFF on input line 1792.
Package hyperref Info: Link nesting OFF on input line 1797.
Package hyperref Info: Hyper index ON on input line 1800.
Package hyperref Info: Plain pages ON on input line 1805.
Package hyperref Info: Backreferencing OFF on input line 1812.
Implicit mode ON; LaTeX internals redefined
Package hyperref Info: Bookmarks ON on input line 1916.
(/usr/share/texmf/tex/latex/misc/url.sty
\Urlmuskip=\muskip10
Package: url 1999/03/28 ver 1.5x Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 2055.
\Fld@menulength=\count89
\Field@Width=\dimen105
\Fld@charsize=\dimen106
\Choice@toks=\toks15
\Field@toks=\toks16
Package hyperref Info: Hyper figures OFF on input line 2513.
Package hyperref Info: Link nesting OFF on input line 2518.
Package hyperref Info: Hyper index ON on input line 2521.
Package hyperref Info: backreferencing OFF on input line 2528.
Package hyperref Info: Link coloring OFF on input line 2533.
\c@Item=\count90
\c@Hfootnote=\count91
)
*hyperref using driver hdvipdfm*
(/usr/share/texmf/tex/latex/hyperref/hdvipdfm.def
File: hdvipdfm.def 2003/01/22 v6.73n Hyperref driver for dvipdfm
\pdfm@box=\box26
\Fld@listcount=\count92
\@outlinefile=\write4
)
Package hyperref Info: Option `colorlinks' set `true' on input line 32.
\outex=\write5
\toktex=\toks17
\openout5 = `page.otx'.
\outest=\write6
\openout6 = `page.tst'.
(./page.aux)
\openout1 = `page.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 67.
LaTeX Font Info: ... okay on input line 67.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 67.
LaTeX Font Info: ... okay on input line 67.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 67.
LaTeX Font Info: ... okay on input line 67.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 67.
LaTeX Font Info: ... okay on input line 67.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 67.
LaTeX Font Info: ... okay on input line 67.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 67.
LaTeX Font Info: ... okay on input line 67.
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 67.
LaTeX Font Info: ... okay on input line 67.
(/usr/share/texmf/tex/latex/graphics/color.sty
Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC)
(/usr/share/texmf/tex/latex/config/color.cfg
File: color.cfg 2001/08/31 v1.1 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: dvips.def on input line 125.
(/usr/share/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
)
(/usr/share/texmf/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
Package hyperref Info: Link coloring ON on input line 67.
(/usr/share/texmf/tex/latex/hyperref/nameref.sty
Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
\c@section@level=\count93
)
LaTeX Info: Redefining \ref on input line 67.
LaTeX Info: Redefining \pageref on input line 67.
(./page.out) (./page.out)
\openout4 = `page.out'.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <12> on input line 69.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <8> on input line 69.
LaTeX Font Info: External font `cmex10' loaded for size
(Font) <6> on input line 69.
(./page.toc)
\tf@toc=\write7
\openout7 = `page.toc'.
[1
] [2]
Overfull \hbox (0.11168pt too wide) in paragraph at lines 76--84
\OT1/cmr/m/n/10 inklud-erede sider, og de kon-struk-tioner der genk-endes in-te
rnt i pyk-overs^^Ztteren.|
[]
Overfull \hbox (2.2506pt too wide) in paragraph at lines 100--102
[]\OT1/cmr/m/n/10 Hvis $x$ er et naturligt tal, s^^Wa findes der et an-det natu
rligt tal $x[]$ (efterf^^\lgeren|
[]
[3]
Overfull \hbox (14.32211pt too wide) in paragraph at lines 141--149
[]\OT1/cmr/m/n/10 Det f^^\rste lemma beskriver egen-sk-aben omkring et givent u
dtryk $\OMS/cmsy/m/n/10 T$ \OT1/cmr/m/n/10 n^^\dvendigvis|
[]
Underfull \hbox (badness 10000) in paragraph at lines 150--180
[]
Underfull \hbox (badness 10000) in paragraph at lines 181--213
[]
Underfull \hbox (badness 10000) in paragraph at lines 214--252
[]
Underfull \hbox (badness 10000) in paragraph at lines 253--290
[]
Underfull \hbox (badness 10000) in paragraph at lines 291--324
[]
[4]
Underfull \hbox (badness 10000) in paragraph at lines 325--362
[]
\lgwproofline=\count94
Underfull \hbox (badness 10000) in paragraph at lines 408--565
[]
\lgwproofline=\count95
Underfull \hbox (badness 10000) in paragraph at lines 573--901
[]
[5]
\lgwproofline=\count96
[6]
Underfull \hbox (badness 10000) in paragraph at lines 1191--1200
[]
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1201.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1201.
\lgwproofline=\count97
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1384.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1384.
\lgwproofline=\count98
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1567.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1567.
\lgwproofline=\count99
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1741.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1741.
[7]
\lgwproofline=\count100
[8]
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1976.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1976.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1979.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 1979.
\lgwproofline=\count101
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 2150.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 2150.
\lgwproofline=\count102
Underfull \hbox (badness 1939) in paragraph at lines 2297--2297
[]$[] [] \OT1/cmr/m/n/10 ([] [] [])[] [] [] [] [] []
[]
[9]
\lgwproofline=\count103
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 2841.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 2841.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 2848.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 2848.
\lgwproofline=\count104
Underfull \hbox (badness 1496) in paragraph at lines 3090--3090
[]$\OT1/cmr/m/n/10 ([] [] [])[] [] [] [] [] [] [] []
[]
[10]
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 3183.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 3183.
\lgwproofline=\count105
Underfull \hbox (badness 10000) in paragraph at lines 3375--3375
\OT1/cmr/m/n/10 (([] [] [])[])[] [] [] [] [] []
[]
Underfull \hbox (badness 8038) in paragraph at lines 3434--3434
[]$\OT1/cmr/m/n/10 ([] [] [])[] [] (([] [] [])[])[] []
[]
Underfull \hbox (badness 10000) in paragraph at lines 3546--3546
[]$[] [] [] [] \OT1/cmr/m/n/10 (([] [] [])[])[] []
[]
Underfull \hbox (badness 8038) in paragraph at lines 3546--3546
\OT1/cmr/m/n/10 ([] [] [])[] [] (([] [] [])[])[] []
[]
Underfull \hbox (badness 8038) in paragraph at lines 3676--3676
[]$\OT1/cmr/m/n/10 ([] [] [])[] [] (([] [] [])[])[] []
[]
[11]
\lgwproofline=\count106
Underfull \hbox (badness 10000) in paragraph at lines 4090--4090
[]$[][]\OT1/cmr/m/n/10 : ([] [] [] [] ([] [] [])[] []
[]
Underfull \hbox (badness 10000) in paragraph at lines 4090--4090
[] [] [] [] \OT1/cmr/m/n/10 ([] [] [])[]) []
[]
Underfull \hbox (badness 10000) in paragraph at lines 4178--4178
[]$[][]\OT1/cmr/m/n/10 : ([] [] [] [] ([] [] [])[] []
[]
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 4351.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 4351.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 4353.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 4353.
\lgwproofline=\count107
[12]
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 4595.
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `math shift' on input line 4595.
\lgwproofline=\count108
Underfull \hbox (badness 1430) in paragraph at lines 4878--4878
[]$[] [] [] [] [] [] [] [] [] [] [] []
[]
Underfull \hbox (badness 1430) in paragraph at lines 4978--4978
[]$[] [] [] [] [] [] [] [] [] [] [] []
[]
\lgwproofline=\count109
Underfull \hbox (badness 10000) in paragraph at lines 5500--5503
[][]\OT1/cmr/m/n/10 http://www.diku.dk/ grue/logiweb/20050502/home/grue/peano/G
RD-
[]
[13]
Underfull \hbox (badness 10000) in paragraph at lines 5503--5506
[][]\OT1/cmr/m/n/10 http://www.diku.dk/ grue/logiweb/20050502/home/grue/base/GR
D-
[]
[14] (./page.otx)
\item $ [ \stackrel {\mathrm {tex}}{=} \mbox {``} \mbox {''} ]$
[15] (./page.aux)
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
)
Here is how much of TeX's memory you used:
2249 strings out of 95835
30494 string characters out of 1195527
92445 words of memory out of 1000001
5180 multiletter control sequences out of 10000+50000
11863 words of font info for 44 fonts, out of 500000 for 1000
14 hyphenation exceptions out of 1000
25i,8n,39p,216b,305s stack positions out of 1500i,500n,5000p,200000b,5000s
Output written on page.dvi (15 pages, 89644 bytes).