equal
deleted
inserted
replaced
34 \input{Introduction.tex} |
34 \input{Introduction.tex} |
35 \input{Foundations.tex} |
35 \input{Foundations.tex} |
36 \input{Refinement.tex} |
36 \input{Refinement.tex} |
37 \input{Inductive_Predicate.tex} |
37 \input{Inductive_Predicate.tex} |
38 \input{Evaluation.tex} |
38 \input{Evaluation.tex} |
|
39 \input{Computations.tex} |
39 \input{Adaptation.tex} |
40 \input{Adaptation.tex} |
40 \input{Further.tex} |
41 \input{Further.tex} |
41 |
42 |
42 \begingroup |
43 \begingroup |
43 \bibliographystyle{plain} \small\raggedright\frenchspacing |
44 \bibliographystyle{plain} \small\raggedright\frenchspacing |