Changeset 59 for Deliverables/D2.1/report.aux

Timestamp:

Sep 10, 2010, 3:51:04 PM (9 years ago)

Author:

sacerdot

Message:

Added a new appendix for assessment within the CerCo? project.

File:

• Deliverables/D2.1/report.aux (modified) (1 diff)

Deliverables/D2.1/report.aux

@@ -202 +202 @@
 \bibcite{Pottier}{12}
 \bibcite{W09}{13}
-\@writefile{toc}{\contentsline {section}{\numberline {A}Proofs}{38}{appendix.A}}
-\newlabel{paper-proofs}{{A}{38}{Proofs\relax }{appendix.A}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.1}Notation}{38}{subsection.A.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.2}Proof of proposition \ref  {soundness-small-step}}{38}{subsection.A.2}}
-\newlabel{access-lemma}{{26}{38}{Proof of proposition \ref {soundness-small-step}\relax }{theorem.26}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.3}Proof of proposition \ref  {labelled-simulation-vm-mips}}{39}{subsection.A.3}}
-\newlabel{step1}{{7}{39}{Proof of proposition \ref {labelled-simulation-vm-mips}\relax }{equation.A.7}{}}
-\@writefile{toc}{\contentsline {paragraph}{The memory realisation.}{39}{section*.19}}
-\@writefile{toc}{\contentsline {paragraph}{The inequation.}{39}{section*.20}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.4}Proof of proposition \ref  {annot-composition}}{39}{subsection.A.4}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.5}Proof of proposition \ref  {labelled-sim-imp-vm}}{40}{subsection.A.5}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.6}Proof of proposition \ref  {sim-vm-mips-prop}}{40}{subsection.A.6}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.7}Proof of proposition \ref  {lab-instr-erasure-imp}}{40}{subsection.A.7}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.8}Proof of proposition \ref  {global-commutation-prop}}{40}{subsection.A.8}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.9}Proof of proposition \ref  {instrument-to-label-prop}}{40}{subsection.A.9}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.10}Proof of proposition \ref  {sound-label-prop}}{41}{subsection.A.10}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.11}Proof of proposition \ref  {precise-label-prop}}{41}{subsection.A.11}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.12}Proof of proposition \ref  {lab-sound}}{41}{subsection.A.12}}
-\newlabel{precise-lemma}{{29}{41}{Proof of proposition \ref {lab-sound}\relax }{theorem.29}{}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {A.13}Proof of proposition \ref  {ann-correct}}{41}{subsection.A.13}}
+\@writefile{toc}{\contentsline {section}{\numberline {A}Assessment of the deliverable within the $CerCo$ project}{38}{appendix.A}}
+\@writefile{toc}{\contentsline {section}{\numberline {B}Proofs}{40}{appendix.B}}
+\newlabel{paper-proofs}{{B}{40}{Proofs\relax }{appendix.B}{}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.1}Notation}{40}{subsection.B.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.2}Proof of proposition \ref  {soundness-small-step}}{40}{subsection.B.2}}
+\newlabel{access-lemma}{{26}{40}{Proof of proposition \ref {soundness-small-step}\relax }{theorem.26}{}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.3}Proof of proposition \ref  {labelled-simulation-vm-mips}}{41}{subsection.B.3}}
+\newlabel{step1}{{7}{41}{Proof of proposition \ref {labelled-simulation-vm-mips}\relax }{equation.B.7}{}}
+\@writefile{toc}{\contentsline {paragraph}{The memory realisation.}{41}{section*.19}}
+\@writefile{toc}{\contentsline {paragraph}{The inequation.}{41}{section*.20}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.4}Proof of proposition \ref  {annot-composition}}{41}{subsection.B.4}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.5}Proof of proposition \ref  {labelled-sim-imp-vm}}{42}{subsection.B.5}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.6}Proof of proposition \ref  {sim-vm-mips-prop}}{42}{subsection.B.6}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.7}Proof of proposition \ref  {lab-instr-erasure-imp}}{42}{subsection.B.7}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.8}Proof of proposition \ref  {global-commutation-prop}}{42}{subsection.B.8}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.9}Proof of proposition \ref  {instrument-to-label-prop}}{42}{subsection.B.9}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.10}Proof of proposition \ref  {sound-label-prop}}{43}{subsection.B.10}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.11}Proof of proposition \ref  {precise-label-prop}}{43}{subsection.B.11}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.12}Proof of proposition \ref  {lab-sound}}{43}{subsection.B.12}}
+\newlabel{precise-lemma}{{29}{43}{Proof of proposition \ref {lab-sound}\relax }{theorem.29}{}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {B.13}Proof of proposition \ref  {ann-correct}}{43}{subsection.B.13}}