\documentclass[10pt]{book}
\usepackage{times}
\usepackage[T1]{fontenc}
\usepackage{graphicx}
\usepackage{graphics}
\usepackage{color}
\usepackage{latexsym}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{latexsym}
\usepackage{psfig}
\usepackage{graphicx}
\usepackage{noweb}
\usepackage{ifthen}
\usepackage{epsfig}
\usepackage{algorithm}

\input{foav.length}
\input{foav.env}
\input{foav.newcommands}

\title{Foundations of Automatic Verification}
\author{S. Arun-Kumar and Students of FOAV}

\raggedbottom

\pagestyle{arabic}


\begin{document}
\maketitle
\tableofcontents


%lecture 1
\input{SwatiGupta/L01.body} 
%lecture 2
\input{ShraddhaGupta/L02.body}
%lecture 3
\input{RichaSharma/L03.body} 
%lecture 4
\input{SubhashKumarSingh/L04 .body}
%lecture 5
\input{ShashankSharma/L05.body}
%lecture 6
\input{AnkitAgarwal/L06.body}
%lecture 7
\input{SouymodipChakraborty/L07.body}
%lecture 8 
\input{SandeshKamath/L08.body}
%lecture 9
\input{ShibashisGuha/L09.body}
%lecture 10
\input{ChinmayNarayan/L10.body}
%lecture 11
\input{AmirMohamdSaeidi/L11.body}
%lecture 12
\input{DivyanshuBagga/L12.body} 


\end{document}