% ls-R -- filename database for kpathsea; do not change this line. ./: .svn bibtex doc ls-R obsolete tex ./.svn: all-wcprops entries format prop-base props text-base tmp ./.svn/prop-base: ./.svn/props: ./.svn/text-base: ./.svn/tmp: prop-base props text-base ./.svn/tmp/prop-base: ./.svn/tmp/props: ./.svn/tmp/text-base: ./bibtex: .svn bib bst ./bibtex/.svn: all-wcprops entries format prop-base props text-base tmp ./bibtex/.svn/prop-base: ./bibtex/.svn/props: ./bibtex/.svn/text-base: ./bibtex/.svn/tmp: prop-base props text-base ./bibtex/.svn/tmp/prop-base: ./bibtex/.svn/tmp/props: ./bibtex/.svn/tmp/text-base: ./bibtex/bib: .svn misc ./bibtex/bib/.svn: all-wcprops entries format prop-base props text-base tmp ./bibtex/bib/.svn/prop-base: ./bibtex/bib/.svn/props: ./bibtex/bib/.svn/text-base: ./bibtex/bib/.svn/tmp: prop-base props text-base ./bibtex/bib/.svn/tmp/prop-base: ./bibtex/bib/.svn/tmp/props: ./bibtex/bib/.svn/tmp/text-base: ./bibtex/bib/misc: .svn Makefile Sather-bib.bib csh.bib datatypes.bib distrib.bib etc.bib formal-aspects.bib hailstone.bib journal-abbrevs-std.bib journal-abbrevs.bib languages.bib leavens.bib linear-logic.bib old-datatypes.bib os-port.bib pi-calc.bib proceedings.bib report.bib scheme.bib se.bib syncro.bib ./bibtex/bib/misc/.svn: all-wcprops entries format prop-base props text-base tmp ./bibtex/bib/misc/.svn/prop-base: Makefile.svn-base Sather-bib.bib.svn-base csh.bib.svn-base datatypes.bib.svn-base distrib.bib.svn-base etc.bib.svn-base formal-aspects.bib.svn-base hailstone.bib.svn-base journal-abbrevs-std.bib.svn-base journal-abbrevs.bib.svn-base languages.bib.svn-base leavens.bib.svn-base linear-logic.bib.svn-base old-datatypes.bib.svn-base os-port.bib.svn-base pi-calc.bib.svn-base proceedings.bib.svn-base report.bib.svn-base scheme.bib.svn-base se.bib.svn-base syncro.bib.svn-base ./bibtex/bib/misc/.svn/props: ./bibtex/bib/misc/.svn/text-base: Makefile.svn-base Sather-bib.bib.svn-base csh.bib.svn-base datatypes.bib.svn-base distrib.bib.svn-base etc.bib.svn-base formal-aspects.bib.svn-base hailstone.bib.svn-base journal-abbrevs-std.bib.svn-base journal-abbrevs.bib.svn-base languages.bib.svn-base leavens.bib.svn-base linear-logic.bib.svn-base old-datatypes.bib.svn-base os-port.bib.svn-base pi-calc.bib.svn-base proceedings.bib.svn-base report.bib.svn-base scheme.bib.svn-base se.bib.svn-base syncro.bib.svn-base ./bibtex/bib/misc/.svn/tmp: prop-base props text-base ./bibtex/bib/misc/.svn/tmp/prop-base: ./bibtex/bib/misc/.svn/tmp/props: ./bibtex/bib/misc/.svn/tmp/text-base: ./bibtex/bst: .svn bst.INDEX isu-thesis misc ./bibtex/bst/.svn: all-wcprops entries format prop-base props text-base tmp ./bibtex/bst/.svn/prop-base: ./bibtex/bst/.svn/props: ./bibtex/bst/.svn/text-base: ./bibtex/bst/.svn/tmp: prop-base props text-base ./bibtex/bst/.svn/tmp/prop-base: ./bibtex/bst/.svn/tmp/props: ./bibtex/bst/.svn/tmp/text-base: ./bibtex/bst/isu-thesis: .svn isuabbrv.bst isualpha.bst isuapalike.bst isuplain.bst isuunsrt.bst ./bibtex/bst/isu-thesis/.svn: all-wcprops entries format prop-base props text-base tmp ./bibtex/bst/isu-thesis/.svn/prop-base: ./bibtex/bst/isu-thesis/.svn/props: ./bibtex/bst/isu-thesis/.svn/text-base: isuabbrv.bst.svn-base isualpha.bst.svn-base isuapalike.bst.svn-base isuplain.bst.svn-base isuunsrt.bst.svn-base ./bibtex/bst/isu-thesis/.svn/tmp: prop-base props text-base ./bibtex/bst/isu-thesis/.svn/tmp/prop-base: ./bibtex/bst/isu-thesis/.svn/tmp/props: ./bibtex/bst/isu-thesis/.svn/tmp/text-base: ./bibtex/bst/misc: .svn aaai-named.bst abbrv-family-first.bst acm.bst alpha-family-first-doi.bst alpha-family-first.bst alpha-nolc.bst annotated-alpha-nolc.bst apa.bst apacite.bst apalike.bst apalike2.bst author.bst authordate1.bst authordate2.bst authordate3.bst authordate4.bst chicagoa.bst computerjournal.bst dcu.bst elsart-harv.bst elsart-num.bst ieeetr.bst kluwer.bst mmlabbrv.bst mmlalpha.bst mmldraft.bst mmllongkey.bst mmlmapalike.bst mmlplain.bst mmlquoteabbrv.bst mmlquotelongkey.bst mmlquoteplain.bst mmlquoteunsrt.bst mmlunsrt.bst named.bst namunsrt.bst nar.bst newapa.bst one-letter-alpha-family-first.bst plain-family-first.bst plainyr.bst siam.bst splncs.bst unsrt-family-first.bst ./bibtex/bst/misc/.svn: all-wcprops entries format prop-base props text-base tmp ./bibtex/bst/misc/.svn/prop-base: abbrv-family-first.bst.svn-base alpha-family-first-doi.bst.svn-base alpha-family-first.bst.svn-base alpha-nolc.bst.svn-base annotated-alpha-nolc.bst.svn-base apacite.bst.svn-base author.bst.svn-base computerjournal.bst.svn-base elsart-harv.bst.svn-base elsart-num.bst.svn-base mmlabbrv.bst.svn-base mmlalpha.bst.svn-base mmldraft.bst.svn-base mmllongkey.bst.svn-base mmlmapalike.bst.svn-base mmlplain.bst.svn-base mmlquoteabbrv.bst.svn-base mmlquotelongkey.bst.svn-base mmlquoteplain.bst.svn-base mmlquoteunsrt.bst.svn-base mmlunsrt.bst.svn-base one-letter-alpha-family-first.bst.svn-base plain-family-first.bst.svn-base splncs.bst.svn-base unsrt-family-first.bst.svn-base ./bibtex/bst/misc/.svn/props: ./bibtex/bst/misc/.svn/text-base: abbrv-family-first.bst.svn-base alpha-family-first-doi.bst.svn-base alpha-family-first.bst.svn-base alpha-nolc.bst.svn-base annotated-alpha-nolc.bst.svn-base apacite.bst.svn-base author.bst.svn-base computerjournal.bst.svn-base elsart-harv.bst.svn-base elsart-num.bst.svn-base mmlabbrv.bst.svn-base mmlalpha.bst.svn-base mmldraft.bst.svn-base mmllongkey.bst.svn-base mmlmapalike.bst.svn-base mmlplain.bst.svn-base mmlquoteabbrv.bst.svn-base mmlquotelongkey.bst.svn-base mmlquoteplain.bst.svn-base mmlquoteunsrt.bst.svn-base mmlunsrt.bst.svn-base one-letter-alpha-family-first.bst.svn-base plain-family-first.bst.svn-base splncs.bst.svn-base unsrt-family-first.bst.svn-base ./bibtex/bst/misc/.svn/tmp: prop-base props text-base ./bibtex/bst/misc/.svn/tmp/prop-base: ./bibtex/bst/misc/.svn/tmp/props: ./bibtex/bst/misc/.svn/tmp/text-base: ./doc: .svn README.html ./doc/.svn: all-wcprops entries format prop-base props text-base tmp ./doc/.svn/prop-base: README.html.svn-base ./doc/.svn/props: ./doc/.svn/text-base: README.html.svn-base ./doc/.svn/tmp: prop-base props text-base ./doc/.svn/tmp/prop-base: ./doc/.svn/tmp/props: ./doc/.svn/tmp/text-base: ./obsolete: .svn Scribe diction.stop explain.d miktex-personal.ini parallel.bib1 ppfix.ps specbib.mail testing.mail ./obsolete/.svn: all-wcprops entries format prop-base props text-base tmp ./obsolete/.svn/prop-base: ./obsolete/.svn/props: ./obsolete/.svn/text-base: diction.stop.svn-base explain.d.svn-base miktex-personal.ini.svn-base parallel.bib1.svn-base ppfix.ps.svn-base specbib.mail.svn-base testing.mail.svn-base ./obsolete/.svn/tmp: prop-base props text-base ./obsolete/.svn/tmp/prop-base: ./obsolete/.svn/tmp/props: ./obsolete/.svn/tmp/text-base: ./obsolete/Scribe: .svn journal-abbrevs.lib usual.lib ./obsolete/Scribe/.svn: all-wcprops entries format prop-base props text-base tmp ./obsolete/Scribe/.svn/prop-base: ./obsolete/Scribe/.svn/props: ./obsolete/Scribe/.svn/text-base: journal-abbrevs.lib.svn-base usual.lib.svn-base ./obsolete/Scribe/.svn/tmp: prop-base props text-base ./obsolete/Scribe/.svn/tmp/prop-base: ./obsolete/Scribe/.svn/tmp/props: ./obsolete/Scribe/.svn/tmp/text-base: ./tex: .svn latex ./tex/.svn: all-wcprops entries format prop-base props text-base tmp ./tex/.svn/prop-base: ./tex/.svn/props: ./tex/.svn/text-base: ./tex/.svn/tmp: prop-base props text-base ./tex/.svn/tmp/prop-base: ./tex/.svn/tmp/props: ./tex/.svn/tmp/text-base: ./tex/latex: .svn isu-thesis misc ./tex/latex/.svn: all-wcprops entries format prop-base props text-base tmp ./tex/latex/.svn/prop-base: ./tex/latex/.svn/props: ./tex/latex/.svn/text-base: ./tex/latex/.svn/tmp: prop-base props text-base ./tex/latex/.svn/tmp/prop-base: ./tex/latex/.svn/tmp/props: ./tex/latex/.svn/tmp/text-base: ./tex/latex/isu-thesis: .svn atraditional.sty example hangpar.sty isumacros.sty isuthesis.sty isuthesispl.sty isuthesist.sty subeqn.sty subeqnnochap.sty thebibnopage.sty thesisreport.sty threeparttop.sty traditional.sty ./tex/latex/isu-thesis/.svn: all-wcprops entries format prop-base props text-base tmp ./tex/latex/isu-thesis/.svn/prop-base: ./tex/latex/isu-thesis/.svn/props: ./tex/latex/isu-thesis/.svn/text-base: atraditional.sty.svn-base hangpar.sty.svn-base isumacros.sty.svn-base isuthesis.sty.svn-base isuthesispl.sty.svn-base isuthesist.sty.svn-base subeqn.sty.svn-base subeqnnochap.sty.svn-base thebibnopage.sty.svn-base thesisreport.sty.svn-base threeparttop.sty.svn-base traditional.sty.svn-base ./tex/latex/isu-thesis/.svn/tmp: prop-base props text-base ./tex/latex/isu-thesis/.svn/tmp/prop-base: ./tex/latex/isu-thesis/.svn/tmp/props: ./tex/latex/isu-thesis/.svn/tmp/text-base: ./tex/latex/isu-thesis/example: .cvsignore .svn abstract.tex acknowl.tex appendix1.tex appendix2.tex biblio.tex chapter1.tex chapter2.tex chapter3.tex chapter4.tex chapter5.tex dc5.ps dedication.tex libabstract.tex oldbib.tex thesis.tex titletoc.tex ./tex/latex/isu-thesis/example/.svn: all-wcprops entries format prop-base props text-base tmp ./tex/latex/isu-thesis/example/.svn/prop-base: ./tex/latex/isu-thesis/example/.svn/props: ./tex/latex/isu-thesis/example/.svn/text-base: .cvsignore.svn-base abstract.tex.svn-base acknowl.tex.svn-base appendix1.tex.svn-base appendix2.tex.svn-base biblio.tex.svn-base chapter1.tex.svn-base chapter2.tex.svn-base chapter3.tex.svn-base chapter4.tex.svn-base chapter5.tex.svn-base dc5.ps.svn-base dedication.tex.svn-base libabstract.tex.svn-base oldbib.tex.svn-base thesis.tex.svn-base titletoc.tex.svn-base ./tex/latex/isu-thesis/example/.svn/tmp: prop-base props text-base ./tex/latex/isu-thesis/example/.svn/tmp/prop-base: ./tex/latex/isu-thesis/example/.svn/tmp/props: ./tex/latex/isu-thesis/example/.svn/tmp/text-base: ./tex/latex/misc: .svn IEEEtran.sty IEEEtran.sty.sample.tex LNCS.tex alltt.sty alluppermath-notations.tex alternate-theorem-style.tex amsppt.sty amsppt1.tex amssym.tex amstex.tex answer-warning.tex answers.tex apacite.sty apalike.sty authordate1-4.sty boxed-figure-new.tex boxed-figure.tex calculation.tex ccweb.tex chicago.sty colors.tex comment.sty continuedenum.tex cpp-formatting.tex creativecommons-logos.tex cup2egui.tex cup6b.tex cupbook.cls cupland.tex cweb.tex denotational-semantics.tex dfd-semantics.tex diagrams.sty diagrams.tex doublespace.sty draw.tex elsart.cls epsf.sty epsf.tex finite-functions.tex format.sty frames.sty frames.tex grading.tex grammar.tex guttag-latex-big.tex harvard.sty head.sty heqn.sty hol.tex hthtml.sty html.sty htmllist.sty indented-theorem-style.tex isolatin1.sty isuletter-adjust.tex isumacros.sty isuthesis.sty justify.sty larch.sty larchmath.tex larchweb.tex latexinfo.sty lcpp-keywords.tex line-spacing.tex llncs.cls local-corrected.tex local.tex lsl-keywords.tex macsyma.sty math-notations.tex mathpartir.sty mathpartir.tex mozart-listings.tex named.sty nar.sty new-thesis-notations.tex newapa.sty noweb.sty nwkernel.tex nwmac.tex obey.tex outliner-sample.tex outliner.sty oz.sty pdfsync.sty pf.sty praxis.sty program-analysis.tex programs.tex proposal-formatting.tex psfonts.sty pvs.sty reductionsATOO.sty referee-answer.tex resume-macros.tex rotating.sty rslenv.sty scheme.sty schmidt.tex setspace.sty sig-alternate-1-5.cls sig-alternate-1-7.cls sig-alternate.cls smallverb.sty smlweb.tex speci.tex specification-notations.tex srlatex.sty stmaryrd.sty subfigure.sty talk-colors.tex tcfigure.sty tech-report-layout.tex texinfo.tex theorems.tex theoremsRest.tex theoremsSequential.sty thesis-layout.tex thesis-notations.tex thesisreport.sty threeparttop.sty traditional.sty upsidedown.tex url.sty use-full-height.tex use-full-page.tex use-full-width.tex use-medium-height.tex use-medium-page.tex use-medium-width.tex varioref.sty verbatimfiles.sty verbfile.sty webkernel.tex wicsbook.sty zed.sty ./tex/latex/misc/.svn: all-wcprops entries format prop-base props text-base tmp ./tex/latex/misc/.svn/prop-base: LNCS.tex.svn-base alluppermath-notations.tex.svn-base alternate-theorem-style.tex.svn-base answer-warning.tex.svn-base answers.tex.svn-base apacite.sty.svn-base boxed-figure-new.tex.svn-base boxed-figure.tex.svn-base calculation.tex.svn-base ccweb.tex.svn-base colors.tex.svn-base continuedenum.tex.svn-base cpp-formatting.tex.svn-base creativecommons-logos.tex.svn-base cup2egui.tex.svn-base cup6b.tex.svn-base cupbook.cls.svn-base cupland.tex.svn-base cweb.tex.svn-base denotational-semantics.tex.svn-base dfd-semantics.tex.svn-base diagrams.sty.svn-base diagrams.tex.svn-base draw.tex.svn-base elsart.cls.svn-base finite-functions.tex.svn-base frames.tex.svn-base grading.tex.svn-base grammar.tex.svn-base guttag-latex-big.tex.svn-base hol.tex.svn-base indented-theorem-style.tex.svn-base isuletter-adjust.tex.svn-base larchweb.tex.svn-base lcpp-keywords.tex.svn-base line-spacing.tex.svn-base llncs.cls.svn-base local-corrected.tex.svn-base lsl-keywords.tex.svn-base math-notations.tex.svn-base mathpartir.sty.svn-base mathpartir.tex.svn-base mozart-listings.tex.svn-base new-thesis-notations.tex.svn-base obey.tex.svn-base outliner-sample.tex.svn-base outliner.sty.svn-base pdfsync.sty.svn-base pf.sty.svn-base program-analysis.tex.svn-base programs.tex.svn-base proposal-formatting.tex.svn-base reductionsATOO.sty.svn-base referee-answer.tex.svn-base schmidt.tex.svn-base sig-alternate-1-5.cls.svn-base sig-alternate-1-7.cls.svn-base sig-alternate.cls.svn-base smlweb.tex.svn-base specification-notations.tex.svn-base talk-colors.tex.svn-base tcfigure.sty.svn-base tech-report-layout.tex.svn-base theorems.tex.svn-base theoremsRest.tex.svn-base theoremsSequential.sty.svn-base thesis-layout.tex.svn-base thesis-notations.tex.svn-base upsidedown.tex.svn-base use-full-height.tex.svn-base use-full-page.tex.svn-base use-full-width.tex.svn-base use-medium-height.tex.svn-base use-medium-page.tex.svn-base use-medium-width.tex.svn-base varioref.sty.svn-base webkernel.tex.svn-base wicsbook.sty.svn-base ./tex/latex/misc/.svn/props: ./tex/latex/misc/.svn/text-base: LNCS.tex.svn-base alluppermath-notations.tex.svn-base alternate-theorem-style.tex.svn-base answer-warning.tex.svn-base answers.tex.svn-base apacite.sty.svn-base boxed-figure-new.tex.svn-base boxed-figure.tex.svn-base calculation.tex.svn-base ccweb.tex.svn-base colors.tex.svn-base continuedenum.tex.svn-base cpp-formatting.tex.svn-base creativecommons-logos.tex.svn-base cup2egui.tex.svn-base cup6b.tex.svn-base cupbook.cls.svn-base cupland.tex.svn-base cweb.tex.svn-base denotational-semantics.tex.svn-base dfd-semantics.tex.svn-base diagrams.sty.svn-base diagrams.tex.svn-base draw.tex.svn-base elsart.cls.svn-base finite-functions.tex.svn-base frames.tex.svn-base grading.tex.svn-base grammar.tex.svn-base guttag-latex-big.tex.svn-base hol.tex.svn-base indented-theorem-style.tex.svn-base isuletter-adjust.tex.svn-base larchweb.tex.svn-base lcpp-keywords.tex.svn-base line-spacing.tex.svn-base llncs.cls.svn-base local-corrected.tex.svn-base lsl-keywords.tex.svn-base math-notations.tex.svn-base mathpartir.sty.svn-base mathpartir.tex.svn-base mozart-listings.tex.svn-base new-thesis-notations.tex.svn-base obey.tex.svn-base outliner-sample.tex.svn-base outliner.sty.svn-base pdfsync.sty.svn-base pf.sty.svn-base program-analysis.tex.svn-base programs.tex.svn-base proposal-formatting.tex.svn-base reductionsATOO.sty.svn-base referee-answer.tex.svn-base resume-macros.tex.svn-base schmidt.tex.svn-base sig-alternate-1-5.cls.svn-base sig-alternate-1-7.cls.svn-base sig-alternate.cls.svn-base smlweb.tex.svn-base specification-notations.tex.svn-base talk-colors.tex.svn-base tcfigure.sty.svn-base tech-report-layout.tex.svn-base theorems.tex.svn-base theoremsRest.tex.svn-base theoremsSequential.sty.svn-base thesis-layout.tex.svn-base thesis-notations.tex.svn-base upsidedown.tex.svn-base use-full-height.tex.svn-base use-full-page.tex.svn-base use-full-width.tex.svn-base use-medium-height.tex.svn-base use-medium-page.tex.svn-base use-medium-width.tex.svn-base varioref.sty.svn-base webkernel.tex.svn-base wicsbook.sty.svn-base ./tex/latex/misc/.svn/tmp: prop-base props text-base ./tex/latex/misc/.svn/tmp/prop-base: ./tex/latex/misc/.svn/tmp/props: ./tex/latex/misc/.svn/tmp/text-base: