src/Doc/ProgProve/document/root.tex
changeset 51444 027cdce376d5
parent 51436 790310525e97
child 52782 b11d73dbfb76
equal deleted inserted replaced
51443:4edb82207c5c 51444:027cdce376d5
    32 
    32 
    33 %\chapter{Case Study: IMP Expressions}
    33 %\chapter{Case Study: IMP Expressions}
    34 %\label{sec:CaseStudyExp}
    34 %\label{sec:CaseStudyExp}
    35 %\input{../generated/Expressions}
    35 %\input{../generated/Expressions}
    36 
    36 
    37 \chapter{Logic and proof beyond equality}
    37 \chapter{Logic and Proof Beyond Equality}
    38 \label{ch:Logic}
    38 \label{ch:Logic}
    39 \input{Logic}
    39 \input{Logic}
    40 
    40 
    41 \chapter{Isar: A Language for Structured Proofs}
    41 \chapter{Isar: A Language for Structured Proofs}
    42 \label{ch:Isar}
    42 \label{ch:Isar}