htfcss: cmtt font-family: monospace;
htfcss: cmitt font-family: monospace; font-style: italic;
htfcss: cmtt font-family: monospace;
htfcss: cmitt font-family: monospace; font-style: italic;
htfcss: cmtt font-family: monospace;
htfcss: cmti  font-style: italic;
htfcss: cmmi font-style: italic;
htfcss: cmmib font-style: italic; font-weight: bold;
htfcss: cmtt font-family: monospace;
htfcss: cmbx  font-weight: bold;
htfcss: cmbxsl  font-weight: bold; font-style: oblique;
htfcss: cmtt font-family: monospace;
htfcss: cmtt font-family: monospace;
File: maude-manual.html
File: maude-manual.css
File: maude-manual.tmp
File: maude-manualli1.html
File: maude-manualli2.html
File: maude-manualch1.html
File: maude-manual5.html
File: maude-manual6.html
File: maude-manual7.html
File: maude-manual8.html
File: maude-manual9.html
File: maude-manual10.html
Font_Class(1,"1"): <img  src="" alt="" class="%s-%dx-x-%x" />
File: maude-manual11.html
File: maude-manualpa1.html
File: maude-manualch2.html
File: maude-manual.tmp
File: maude-manual14.html
File: maude-manual.tmp
File: maude-manualch3.html
File: maude-manual16.html
File: maude-manual.tmp
File: maude-manual17.html
File: maude-manual18.html
File: maude-manualch4.html
File: maude-manual20.html
File: maude-manual21.html
File: maude-manual22.html
File: maude-manual23.html
File: maude-manual24.html
File: maude-manual25.html
File: maude-manual26.html
File: maude-manual27.html
File: maude-manual28.html
File: maude-manual29.html
File: maude-manual30.html
File: maude-manual31.html
File: maude-manual32.html
File: maude-manual33.html
File: maude-manual34.html
File: maude-manual.tmp
File: maude-manual35.html
File: maude-manual36.html
File: maude-manualch5.html
File: maude-manual38.html
File: maude-manual39.html
File: maude-manual.tmp
File: maude-manual40.html
File: maude-manual.tmp
File: maude-manualch6.html
File: maude-manual.tmp
File: maude-manual42.html
File: maude-manual43.html
File: maude-manual.tmp
File: maude-manual44.html
File: maude-manual45.html
File: maude-manual46.html
File: maude-manual47.html
File: maude-manual.tmp
File: maude-manual48.html
File: maude-manual49.html
File: maude-manualch7.html
File: maude-manual.tmp
File: maude-manual51.html
File: maude-manual52.html
File: maude-manual53.html
File: maude-manual54.html
File: maude-manual.tmp
File: maude-manual.tmp
File: maude-manual55.html
File: maude-manual.tmp
File: maude-manual.tmp
File: maude-manual.tmp
File: maude-manualch8.html
File: maude-manual.tmp
File: maude-manual.tmp
File: maude-manual57.html
File: maude-manual58.html
File: maude-manual.tmp
File: maude-manual59.html
File: maude-manual60.html
File: maude-manualch9.html
File: maude-manual62.html
File: maude-manual63.html
File: maude-manualch10.html
File: maude-manual65.html
File: maude-manual.tmp
File: maude-manual.tmp
File: maude-manualch11.html
File: maude-manual.tmp
File: maude-manualch12.html
File: maude-manual68.html
File: maude-manual69.html
File: maude-manual70.html
File: maude-manualch13.html
File: maude-manualch14.html
File: maude-manual73.html
File: maude-manual74.html
File: maude-manualpa2.html
File: maude-manualch15.html
File: maude-manual77.html
File: maude-manual78.html
File: maude-manual79.html
File: maude-manual80.html
File: maude-manualch16.html
File: maude-manual82.html
File: maude-manual83.html
File: maude-manual84.html
File: maude-manual85.html
File: maude-manual86.html
File: maude-manual87.html
File: maude-manual88.html
File: maude-manualch17.html
File: maude-manual90.html
File: maude-manual91.html
File: maude-manual92.html
File: maude-manual93.html
File: maude-manual94.html
File: maude-manualpa3.html
File: maude-manualch18.html
File: maude-manualch19.html
File: maude-manualli3.html
File: maude-manualli4.html
File: maude-manualli5.html
File: maude-manualli6.html
File: maude-manualli7.html
Css: p.noindent { text-indent: 0em }
Css: td p.noindent { text-indent: 0em; margin-top:0em; }
Css: p.nopar { text-indent: 0em; }
Css: p.indent{ text-indent: 1.5em }
Css: @media print {div.crosslinks {visibility:hidden;}}
Css: a img { border-top: 0; border-left: 0; border-right: 0; }
Font_Css("4"): .small-caps{font-variant: small-caps; }
Font_Css("10"): .htf-cmbx {font-weight: bold; font-style:normal;}
Font_Css("12"): .htf-calligraphy {font-family:cursive}
Font_Css("14"): .htf-italic {font-style: italic;}
Font_Css("16"): .htf-bold {font-weight: bold;}
Font_Css("12"): .htf-calligraphy-bold {font-family:cursive ; font-weight: bold; }
Css: center { margin-top:1em; margin-bottom:1em; }
Css: td center { margin-top:0em; margin-bottom:0em; }
Css: .Canvas { position:relative; }
Css: img.math{vertical-align:middle;}
Css: li p.indent { text-indent: 0em }
Css: .enumerate1 {list-style-type:decimal;}
Css: .enumerate2 {list-style-type:lower-alpha;}
Css: .enumerate3 {list-style-type:lower-roman;}
Css: .enumerate4 {list-style-type:upper-alpha;}
Css: div.newtheorem { margin-bottom: 2em; margin-top: 2em;}
Css: .obeylines-h,.obeylines-v {white-space: nowrap; }
Css: div.obeylines-v p { margin-top:0; margin-bottom:0; }
Css: .overline{ text-decoration:overline; }
Css: .overline img{ border-top: 1px solid black; }
Css: td.displaylines {text-align:center; white-space:nowrap;}
Css: .centerline {text-align:center;}
Css: .rightline {text-align:right;}
Css: div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; }
Css: .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
Css: div.fbox {display:table}
Css: div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
Css: div.minipage{width:100%;}
Css: div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}
Css: div.center div {text-align: left;}
Css: div.flushright, div.flushright div.flushright {text-align: right;}
Css: div.flushright div {text-align: left;}
Css: div.flushleft {text-align: left;}
Css: .underline{ text-decoration:underline; }
Css: .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }
Css: .framebox-c, .framebox-l, .framebox-r { padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; }
Css: .framebox-c {text-align:center;}
Css: .framebox-l {text-align:left;}
Css: .framebox-r {text-align:right;}
Css: span.thank-mark{ vertical-align: super }
Css: span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
Css: div.tabular, div.center div.tabular {text-align: center; margin-top:0.5em; margin-bottom:0.5em; }
Css: table.tabular td p{margin-top:0em;}
Css: table.tabular {margin-left: auto; margin-right: auto;}
Css: div.td00{ margin-left:0pt; margin-right:0pt; }
Css: div.td01{ margin-left:0pt; margin-right:5pt; }
Css: div.td10{ margin-left:5pt; margin-right:0pt; }
Css: div.td11{ margin-left:5pt; margin-right:5pt; }
Css: table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
Css: td.td00{ padding-left:0pt; padding-right:0pt; }
Css: td.td01{ padding-left:0pt; padding-right:5pt; }
Css: td.td10{ padding-left:5pt; padding-right:0pt; }
Css: td.td11{ padding-left:5pt; padding-right:5pt; }
Css: table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; }
Css: .hline hr, .cline hr{ height : 1px; margin:0px; }
Css: .tabbing-right {text-align:right;}
Css: span.TEX {letter-spacing: -0.125em; }
Css: span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;}
Css: a span.TEX span.E {text-decoration: none; }
Css: span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;}
Css: span.LATEX span.TEX{ position:relative; left: -0.4em; }
Css: div.float img, div.float .caption {text-align:center;}
Css: div.figure img, div.figure .caption {text-align:center;}
Css: .marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;}
Css: .marginpar p{margin-top:0.4em; margin-bottom:0.4em;}
Css: table.equation {width:100%;}
Css: .equation td{text-align:center; }
Css: td.equation { margin-top:1em; margin-bottom:1em; } 
Css: td.equation-label { width:5%; text-align:center; }
Css: td.eqnarray4 { width:5%; white-space: normal; }
Css: td.eqnarray2 { width:5%; }
Css: table.eqnarray-star, table.eqnarray {width:100%;}
Css: div.eqnarray{text-align:center;}
Css: div.array {text-align:center;}
Css: div.pmatrix {text-align:center;}
Css: table.pmatrix {width:100%;}
Css: span.pmatrix img{vertical-align:middle;}
Css: div.pmatrix {text-align:center;}
Css: table.pmatrix {width:100%;}
Css: img.cdots{vertical-align:middle;}
Css: .partToc a, .partToc, .likepartToc a, .likepartToc {line-height: 200%; font-weight:bold; font-size:110%;}
Css: .chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc {line-height: 200%; font-weight:bold;}
Css: .index-item, .index-subitem, .index-subsubitem {display:block}
Css: .caption td.id{font-weight: bold; white-space: nowrap; }
Css: table.caption {text-align:center;}
Css: h1.partHead{text-align: center}
Css: p.bibitem { text-indent: -2em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
Css: p.bibitem-p { text-indent: 0em; margin-left: 2em; margin-top:0.6em; margin-bottom:0.6em; }
Css: .paragraphHead, .likeparagraphHead { margin-top:2em; font-weight: bold;}
Css: .subparagraphHead, .likesubparagraphHead { font-weight: bold;}
Css: .quote {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; margin-right:1em; text-align:justify;}
Css: .verse{white-space:nowrap; margin-left:2em}
Css: div.maketitle {text-align:center;}
Css: h2.titleHead{text-align:center;}
Css: div.maketitle{ margin-bottom: 2em; }
Css: div.author, div.date {text-align:center;}
Css: div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; }
Css: div.author{white-space: nowrap;}
Css: .quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
Css: h1.partHead{text-align: center}
Css: .figure img.graphics {margin-left:10%;}
Css: .alltt P { margin-bottom : 0em; margin-top : 0em; }
Css: .alltt { margin-bottom : 1em; margin-top : 1em; }
Css: div.verbatiminput {font-family: monospace; white-space: nowrap; }
Css: table.multicols { width:100%; margin-left:1em; margin-top:1em; margin-bottom:1em; }
File: default.4idx
--- needs --- maude-manual.idv[2] ==> maude-manual0x.png ---
--- needs --- maude-manual.idv[4] ==> maude-manual1x.png ---
--- needs --- maude-manual.idv[6] ==> maude-manual2x.png ---
--- needs --- maude-manual.idv[7] ==> maude-manual3x.png ---
--- needs --- maude-manual.idv[9] ==> maude-manual4x.png ---
File: mod.4idx
--- needs --- maude-manual.idv[11] ==> maude-manual5x.png ---
--- needs --- maude-manual.idv[13] ==> maude-manual6x.png ---
--- needs --- maude-manual.idv[14] ==> maude-manual7x.png ---
--- needs --- maude-manual.idv[16] ==> maude-manual8x.png ---
--- needs --- maude-manual.idv[18] ==> maude-manual9x.png ---
--- needs --- maude-manual.idv[20] ==> maude-manual10x.png ---
--- needs --- maude-manual.idv[21] ==> maude-manual11x.png ---
--- needs --- maude-manual.idv[23] ==> maude-manual12x.png ---
--- needs --- maude-manual.idv[24] ==> maude-manual13x.png ---
--- needs --- maude-manual.idv[25] ==> maude-manual14x.png ---
--- needs --- maude-manual.idv[27] ==> maude-manual15x.png ---
--- needs --- maude-manual.idv[29] ==> maude-manual16x.png ---
--- needs --- maude-manual.idv[31] ==> maude-manual17x.png ---
--- needs --- maude-manual.idv[32] ==> maude-manual18x.png ---
--- needs --- maude-manual.idv[33] ==> maude-manual19x.png ---
--- needs --- maude-manual.idv[34] ==> maude-manual20x.png ---
--- needs --- maude-manual.idv[36] ==> maude-manual21x.png ---
--- needs --- maude-manual.idv[38] ==> maude-manual22x.png ---
--- needs --- maude-manual.idv[39] ==> maude-manual23x.png ---
--- needs --- maude-manual.idv[41] ==> maude-manual24x.png ---
--- needs --- maude-manual.idv[42] ==> maude-manual25x.png ---
--- needs --- maude-manual.idv[44] ==> maude-manual26x.png ---
--- needs --- maude-manual.idv[46] ==> maude-manual27x.png ---
--- needs --- maude-manual.idv[47] ==> maude-manual28x.png ---
--- needs --- maude-manual.idv[49] ==> maude-manual29x.png ---
--- needs --- maude-manual.idv[50] ==> maude-manual30x.png ---
--- needs --- maude-manual.idv[51] ==> maude-manual31x.png ---
--- needs --- maude-manual.idv[52] ==> maude-manual32x.png ---
--- needs --- maude-manual.idv[53] ==> maude-manual33x.png ---
--- needs --- maude-manual.idv[54] ==> maude-manual34x.png ---
--- needs --- maude-manual.idv[55] ==> maude-manual35x.png ---
--- needs --- maude-manual.idv[56] ==> maude-manual36x.png ---
--- needs --- maude-manual.idv[57] ==> maude-manual37x.png ---
--- needs --- maude-manual.idv[59] ==> maude-manual38x.png ---
--- needs --- maude-manual.idv[61] ==> maude-manual39x.png ---
--- needs --- maude-manual.idv[63] ==> maude-manual40x.png ---
--- needs --- maude-manual.idv[64] ==> maude-manual41x.png ---
--- needs --- maude-manual.idv[66] ==> maude-manual42x.png ---
--- needs --- maude-manual.idv[68] ==> maude-manual43x.png ---
--- needs --- maude-manual.idv[70] ==> maude-manual44x.png ---
--- needs --- maude-manual.idv[72] ==> maude-manual45x.png ---
--- needs --- maude-manual.idv[74] ==> maude-manual46x.png ---
--- needs --- maude-manual.idv[75] ==> maude-manual47x.png ---
--- needs --- maude-manual.idv[77] ==> maude-manual48x.png ---
--- needs --- maude-manual.idv[79] ==> maude-manual49x.png ---
File: thr.4idx
--- needs --- maude-manual.idv[81] ==> maude-manual50x.png ---
--- needs --- maude-manual.idv[83] ==> maude-manual51x.png ---
File: view.4idx
--- needs --- maude-manual.idv[85] ==> maude-manual52x.png ---
--- needs --- maude-manual.idv[86] ==> maude-manual53x.png ---
--- needs --- maude-manual.idv[87] ==> maude-manual54x.png ---
--- needs --- maude-manual.idv[89] ==> maude-manual55x.png ---
--- needs --- maude-manual.idv[91] ==> maude-manual56x.png ---
--- needs --- maude-manual.idv[93] ==> maude-manual57x.png ---
--- needs --- maude-manual.idv[95] ==> maude-manual58x.png ---
--- needs --- maude-manual.idv[97] ==> maude-manual59x.png ---
--- needs --- maude-manual.idv[99] ==> maude-manual60x.png ---
--- needs --- maude-manual.idv[101] ==> maude-manual61x.png ---
--- needs --- maude-manual.idv[103] ==> maude-manual62x.png ---
--- needs --- maude-manual.idv[104] ==> maude-manual63x.png ---
--- needs --- maude-manual.idv[106] ==> maude-manual64x.png ---
--- needs --- maude-manual.idv[108] ==> maude-manual65x.png ---
--- needs --- maude-manual.idv[110] ==> maude-manual66x.png ---
--- needs --- maude-manual.idv[111] ==> maude-manual67x.png ---
--- needs --- maude-manual.idv[113] ==> maude-manual68x.png ---
--- needs --- maude-manual.idv[115] ==> maude-manual69x.png ---
--- needs --- maude-manual.idv[117] ==> maude-manual70x.png ---
--- needs --- maude-manual.idv[119] ==> maude-manual71x.png ---
--- needs --- maude-manual.idv[121] ==> maude-manual72x.png ---
--- needs --- maude-manual.idv[123] ==> maude-manual73x.png ---
--- needs --- maude-manual.idv[125] ==> maude-manual74x.png ---
--- needs --- maude-manual.idv[126] ==> maude-manual75x.png ---
--- needs --- maude-manual.idv[127] ==> maude-manual76x.png ---
--- needs --- maude-manual.idv[128] ==> maude-manual77x.png ---
--- needs --- maude-manual.idv[129] ==> maude-manual78x.png ---
--- needs --- maude-manual.idv[131] ==> maude-manual79x.png ---
--- needs --- maude-manual.idv[132] ==> maude-manual80x.png ---
--- needs --- maude-manual.idv[133] ==> maude-manual81x.png ---
--- needs --- maude-manual.idv[134] ==> maude-manual82x.png ---
--- needs --- maude-manual.idv[135] ==> maude-manual83x.png ---
--- needs --- maude-manual.idv[136] ==> maude-manual84x.png ---
--- needs --- maude-manual.idv[137] ==> maude-manual85x.png ---
--- needs --- maude-manual.idv[139] ==> maude-manual86x.png ---
--- needs --- maude-manual.idv[141] ==> maude-manual87x.png ---
--- needs --- maude-manual.idv[142] ==> maude-manual88x.png ---
--- needs --- maude-manual.idv[144] ==> maude-manual89x.png ---
--- needs --- maude-manual.idv[145] ==> maude-manual90x.png ---
--- needs --- maude-manual.idv[146] ==> maude-manual91x.png ---
--- needs --- maude-manual.idv[147] ==> maude-manual92x.png ---
--- needs --- maude-manual.idv[149] ==> maude-manual93x.png ---
--- needs --- maude-manual.idv[150] ==> maude-manual94x.png ---
--- needs --- maude-manual.idv[152] ==> maude-manual95x.png ---
--- needs --- maude-manual.idv[154] ==> maude-manual96x.png ---
--- needs --- maude-manual.idv[156] ==> maude-manual97x.png ---
--- needs --- maude-manual.idv[158] ==> maude-manual98x.png ---
--- needs --- maude-manual.idv[160] ==> maude-manual99x.png ---
--- needs --- maude-manual.idv[162] ==> maude-manual100x.png ---
--- needs --- maude-manual.idv[164] ==> maude-manual101x.png ---
--- needs --- maude-manual.idv[165] ==> maude-manual102x.png ---
--- needs --- maude-manual.idv[166] ==> maude-manual103x.png ---
--- needs --- maude-manual.idv[167] ==> maude-manual104x.png ---
--- needs --- maude-manual.idv[169] ==> maude-manual105x.png ---
--- needs --- maude-manual.idv[170] ==> maude-manual106x.png ---
--- needs --- maude-manual.idv[171] ==> maude-manual107x.png ---
--- needs --- maude-manual.idv[172] ==> maude-manual108x.png ---
--- needs --- maude-manual.idv[173] ==> maude-manual109x.png ---
--- needs --- maude-manual.idv[175] ==> maude-manual110x.png ---
--- needs --- maude-manual.idv[177] ==> maude-manual111x.png ---
--- needs --- maude-manual.idv[178] ==> maude-manual112x.png ---
--- needs --- maude-manual.idv[179] ==> maude-manual113x.png ---
--- needs --- maude-manual.idv[180] ==> maude-manual114x.png ---
--- needs --- maude-manual.idv[181] ==> maude-manual115x.png ---
--- needs --- maude-manual.idv[182] ==> maude-manual116x.png ---
--- needs --- maude-manual.idv[183] ==> maude-manual117x.png ---
--- needs --- maude-manual.idv[184] ==> maude-manual118x.png ---
--- needs --- maude-manual.idv[185] ==> maude-manual119x.png ---
--- needs --- maude-manual.idv[187] ==> maude-manual120x.png ---
--- needs --- maude-manual.idv[188] ==> maude-manual121x.png ---
--- needs --- maude-manual.idv[189] ==> maude-manual122x.png ---
--- needs --- maude-manual.idv[191] ==> maude-manual123x.png ---
--- needs --- maude-manual.idv[193] ==> maude-manual124x.png ---
--- needs --- maude-manual.idv[194] ==> maude-manual125x.png ---
--- needs --- maude-manual.idv[195] ==> maude-manual126x.png ---
Css: td#TBL-6-2-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-6-2-6{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-6-4-1{border-right:solid black 0.4pt;}
Css: td#TBL-6-4-4{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-6-5-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-6-8-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-6-11-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-7-2-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-7-2-6{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-7-4-1{border-right:solid black 0.4pt;}
Css: td#TBL-7-4-4{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-7-5-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-7-8-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-7-11-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-8-2-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-8-2-6{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-8-4-1{border-right:solid black 0.4pt;}
Css: td#TBL-8-4-4{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-8-5-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-8-8-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
Css: td#TBL-8-11-3{border-left:solid black 0.4pt;border-right:solid black 0.4pt;}
--- needs --- maude-manual.idv[197] ==> maude-manual127x.png ---
--- needs --- maude-manual.idv[198] ==> maude-manual128x.png ---
--- needs --- maude-manual.idv[200] ==> maude-manual129x.png ---
--- needs --- maude-manual.idv[201] ==> maude-manual130x.png ---
--- needs --- maude-manual.idv[202] ==> maude-manual131x.png ---
--- needs --- maude-manual.idv[203] ==> maude-manual132x.png ---
--- needs --- maude-manual.idv[204] ==> maude-manual133x.png ---
--- needs --- maude-manual.idv[205] ==> maude-manual134x.png ---
--- needs --- maude-manual.idv[206] ==> maude-manual135x.png ---
--- needs --- maude-manual.idv[208] ==> maude-manual136x.png ---
--- needs --- maude-manual.idv[209] ==> maude-manual137x.png ---
--- needs --- maude-manual.idv[210] ==> maude-manual138x.png ---
--- needs --- maude-manual.idv[211] ==> maude-manual139x.png ---
--- needs --- maude-manual.idv[212] ==> maude-manual140x.png ---
--- needs --- maude-manual.idv[213] ==> maude-manual141x.png ---
--- needs --- maude-manual.idv[214] ==> maude-manual142x.png ---
--- needs --- maude-manual.idv[215] ==> maude-manual143x.png ---
--- needs --- maude-manual.idv[216] ==> maude-manual144x.png ---
--- needs --- maude-manual.idv[217] ==> maude-manual145x.png ---
--- needs --- maude-manual.idv[219] ==> maude-manual146x.png ---
--- needs --- maude-manual.idv[221] ==> maude-manual147x.png ---
--- needs --- maude-manual.idv[223] ==> maude-manual148x.png ---
--- needs --- maude-manual.idv[224] ==> maude-manual149x.png ---
--- needs --- maude-manual.idv[225] ==> maude-manual150x.png ---
--- needs --- maude-manual.idv[226] ==> maude-manual151x.png ---
--- needs --- maude-manual.idv[227] ==> maude-manual152x.png ---
--- needs --- maude-manual.idv[228] ==> maude-manual153x.png ---
--- needs --- maude-manual.idv[229] ==> maude-manual154x.png ---
--- needs --- maude-manual.idv[230] ==> maude-manual155x.png ---
--- needs --- maude-manual.idv[231] ==> maude-manual156x.png ---
--- needs --- maude-manual.idv[232] ==> maude-manual157x.png ---
--- needs --- maude-manual.idv[233] ==> maude-manual158x.png ---
--- needs --- maude-manual.idv[234] ==> maude-manual159x.png ---
--- needs --- maude-manual.idv[235] ==> maude-manual160x.png ---
--- needs --- maude-manual.idv[236] ==> maude-manual161x.png ---
--- needs --- maude-manual.idv[237] ==> maude-manual162x.png ---
--- needs --- maude-manual.idv[238] ==> maude-manual163x.png ---
--- needs --- maude-manual.idv[239] ==> maude-manual164x.png ---
--- needs --- maude-manual.idv[241] ==> maude-manual165x.png ---
--- needs --- maude-manual.idv[242] ==> maude-manual166x.png ---
--- needs --- maude-manual.idv[243] ==> maude-manual167x.png ---
--- needs --- maude-manual.idv[244] ==> maude-manual168x.png ---
--- needs --- maude-manual.idv[245] ==> maude-manual169x.png ---
--- needs --- maude-manual.idv[246] ==> maude-manual170x.png ---
--- needs --- maude-manual.idv[247] ==> maude-manual171x.png ---
--- needs --- maude-manual.idv[248] ==> maude-manual172x.png ---
--- needs --- maude-manual.idv[249] ==> maude-manual173x.png ---
--- needs --- maude-manual.idv[250] ==> maude-manual174x.png ---
--- needs --- maude-manual.idv[251] ==> maude-manual175x.png ---
--- needs --- maude-manual.idv[252] ==> maude-manual176x.png ---
--- needs --- maude-manual.idv[253] ==> maude-manual177x.png ---
--- needs --- maude-manual.idv[254] ==> maude-manual178x.png ---
--- needs --- maude-manual.idv[255] ==> maude-manual179x.png ---
--- needs --- maude-manual.idv[256] ==> maude-manual180x.png ---
--- needs --- maude-manual.idv[257] ==> maude-manual181x.png ---
--- needs --- maude-manual.idv[258] ==> maude-manual182x.png ---
--- needs --- maude-manual.idv[260] ==> maude-manual183x.png ---
--- needs --- maude-manual.idv[261] ==> maude-manual184x.png ---
--- needs --- maude-manual.idv[262] ==> maude-manual185x.png ---
--- needs --- maude-manual.idv[263] ==> maude-manual186x.png ---
--- needs --- maude-manual.idv[264] ==> maude-manual187x.png ---
--- needs --- maude-manual.idv[265] ==> maude-manual188x.png ---
--- needs --- maude-manual.idv[266] ==> maude-manual189x.png ---
--- needs --- maude-manual.idv[267] ==> maude-manual190x.png ---
--- needs --- maude-manual.idv[268] ==> maude-manual191x.png ---
--- needs --- maude-manual.idv[269] ==> maude-manual192x.png ---
--- needs --- maude-manual.idv[270] ==> maude-manual193x.png ---
--- needs --- maude-manual.idv[271] ==> maude-manual194x.png ---
--- needs --- maude-manual.idv[272] ==> maude-manual195x.png ---
--- needs --- maude-manual.idv[273] ==> maude-manual196x.png ---
--- needs --- maude-manual.idv[274] ==> maude-manual197x.png ---
--- needs --- maude-manual.idv[275] ==> maude-manual198x.png ---
--- needs --- maude-manual.idv[276] ==> maude-manual199x.png ---
--- needs --- maude-manual.idv[278] ==> maude-manual200x.png ---
--- needs --- maude-manual.idv[280] ==> maude-manual201x.png ---
--- needs --- maude-manual.idv[282] ==> maude-manual202x.png ---
--- needs --- maude-manual.idv[283] ==> maude-manual203x.png ---
--- needs --- maude-manual.idv[284] ==> maude-manual204x.png ---
--- needs --- maude-manual.idv[285] ==> maude-manual205x.png ---
--- needs --- maude-manual.idv[286] ==> maude-manual206x.png ---
--- needs --- maude-manual.idv[287] ==> maude-manual207x.png ---
--- needs --- maude-manual.idv[288] ==> maude-manual208x.png ---
--- needs --- maude-manual.idv[289] ==> maude-manual209x.png ---
--- needs --- maude-manual.idv[290] ==> maude-manual210x.png ---
--- needs --- maude-manual.idv[291] ==> maude-manual211x.png ---
--- needs --- maude-manual.idv[292] ==> maude-manual212x.png ---
--- needs --- maude-manual.idv[293] ==> maude-manual213x.png ---
--- needs --- maude-manual.idv[294] ==> maude-manual214x.png ---
--- needs --- maude-manual.idv[295] ==> maude-manual215x.png ---
--- needs --- maude-manual.idv[297] ==> maude-manual216x.png ---
--- needs --- maude-manual.idv[298] ==> maude-manual217x.png ---
--- needs --- maude-manual.idv[299] ==> maude-manual218x.png ---
--- needs --- maude-manual.idv[300] ==> maude-manual219x.png ---
--- needs --- maude-manual.idv[301] ==> maude-manual220x.png ---
--- needs --- maude-manual.idv[302] ==> maude-manual221x.png ---
--- needs --- maude-manual.idv[303] ==> maude-manual222x.png ---
--- needs --- maude-manual.idv[304] ==> maude-manual223x.png ---
--- needs --- maude-manual.idv[305] ==> maude-manual224x.png ---
--- needs --- maude-manual.idv[306] ==> maude-manual225x.png ---
--- needs --- maude-manual.idv[307] ==> maude-manual226x.png ---
--- needs --- maude-manual.idv[308] ==> maude-manual227x.png ---
--- needs --- maude-manual.idv[309] ==> maude-manual228x.png ---
--- needs --- maude-manual.idv[310] ==> maude-manual229x.png ---
--- needs --- maude-manual.idv[311] ==> maude-manual230x.png ---
--- needs --- maude-manual.idv[312] ==> maude-manual231x.png ---
--- needs --- maude-manual.idv[313] ==> maude-manual232x.png ---
--- needs --- maude-manual.idv[314] ==> maude-manual233x.png ---
--- needs --- maude-manual.idv[315] ==> maude-manual234x.png ---
--- needs --- maude-manual.idv[316] ==> maude-manual235x.png ---
--- needs --- maude-manual.idv[317] ==> maude-manual236x.png ---
--- needs --- maude-manual.idv[318] ==> maude-manual237x.png ---
--- needs --- maude-manual.idv[320] ==> maude-manual238x.png ---
--- needs --- maude-manual.idv[321] ==> maude-manual239x.png ---
--- needs --- maude-manual.idv[322] ==> maude-manual240x.png ---
--- needs --- maude-manual.idv[323] ==> maude-manual241x.png ---
--- needs --- maude-manual.idv[324] ==> maude-manual242x.png ---
--- needs --- maude-manual.idv[325] ==> maude-manual243x.png ---
--- needs --- maude-manual.idv[327] ==> maude-manual244x.png ---
--- needs --- maude-manual.idv[328] ==> maude-manual245x.png ---
--- needs --- maude-manual.idv[329] ==> maude-manual246x.png ---
--- needs --- maude-manual.idv[330] ==> maude-manual247x.png ---
--- needs --- maude-manual.idv[331] ==> maude-manual248x.png ---
--- needs --- maude-manual.idv[332] ==> maude-manual249x.png ---
--- needs --- maude-manual.idv[333] ==> maude-manual250x.png ---
--- needs --- maude-manual.idv[334] ==> maude-manual251x.png ---
--- needs --- maude-manual.idv[335] ==> maude-manual252x.png ---
--- needs --- maude-manual.idv[336] ==> maude-manual253x.png ---
--- needs --- maude-manual.idv[337] ==> maude-manual254x.png ---
--- needs --- maude-manual.idv[338] ==> maude-manual255x.png ---
--- needs --- maude-manual.idv[340] ==> maude-manual256x.png ---
--- needs --- maude-manual.idv[341] ==> maude-manual257x.png ---
--- needs --- maude-manual.idv[342] ==> maude-manual258x.png ---
--- needs --- maude-manual.idv[343] ==> maude-manual259x.png ---
--- needs --- maude-manual.idv[344] ==> maude-manual260x.png ---
--- needs --- maude-manual.idv[345] ==> maude-manual261x.png ---
--- needs --- maude-manual.idv[346] ==> maude-manual262x.png ---
--- needs --- maude-manual.idv[347] ==> maude-manual263x.png ---
--- needs --- maude-manual.idv[348] ==> maude-manual264x.png ---
--- needs --- maude-manual.idv[349] ==> maude-manual265x.png ---
--- needs --- maude-manual.idv[350] ==> maude-manual266x.png ---
--- needs --- maude-manual.idv[351] ==> maude-manual267x.png ---
--- characters ---
Font("cmex","10","10","100")
Font("line","10","10","100")
Font("lcircle","10","10","100")
Font("cmr","5","5","100")
Font("cmr","7","7","100")
Font("cmr","10","10","100")
Font("cmmi","5","5","100")
Font("cmmi","7","7","100")
Font("cmmi","10","10","100")
Font("cmsy","5","5","100")
Font("cmsy","7","7","100")
--- needs --- maude-manual.idv[353] ==> cmsy7-52.png ---
--- needs --- maude-manual.idv[354] ==> cmsy7-50.png ---
--- needs --- maude-manual.idv[355] ==> cmsy7-4c.png ---
--- needs --- maude-manual.idv[356] ==> cmsy7-41.png ---
Font("cmsy","10","10","100")
--- needs --- maude-manual.idv[357] ==> cmsy10-58.png ---
--- needs --- maude-manual.idv[358] ==> cmsy10-57.png ---
--- needs --- maude-manual.idv[359] ==> cmsy10-55.png ---
--- needs --- maude-manual.idv[360] ==> cmsy10-54.png ---
--- needs --- maude-manual.idv[361] ==> cmsy10-52.png ---
--- needs --- maude-manual.idv[362] ==> cmsy10-50.png ---
--- needs --- maude-manual.idv[363] ==> cmsy10-4c.png ---
--- needs --- maude-manual.idv[364] ==> cmsy10-4b.png ---
--- needs --- maude-manual.idv[365] ==> cmsy10-45.png ---
--- needs --- maude-manual.idv[366] ==> cmsy10-41.png ---
--- needs --- maude-manual.idv[367] ==> cmsy10-32.png ---
Font("cmr","17","17","100")
Font("cmr","12","12","100")
Font("cmr","8","8","100")
Font("cmr","6","6","100")
Font("cmmi","8","8","100")
Font("cmmi","6","6","100")
Font("cmsy","8","8","100")
Font("cmsy","6","6","100")
Font("cmex","7","7","100")
Font("lasy","10","10","100")
Font("msbm","10","10","100")
Font("cmtt","10","10","100")
Font("cmr","12","12","120")
Font("cmti","10","10","100")
Font("cmr","9","9","100")
Font("cmti","8","8","100")
Font("cmtt","9","9","100")
Font("cmbx","10","10","100")
Font("cmtt","8","8","100")
Font("cmmi","9","9","100")
Font("cmsy","9","9","100")
Font("cmti","9","9","100")
Font("cmti","7","7","85")
Font("cmitt","10","10","90")
Font("cmitt","10","10","100")
Font("cmtt","8","8","87")