Mercurial > cpdt > repo

comparison latex/cpdt.tex @ 479:40a9a36844d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Batch of changes based on proofreader feedback
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Nov 2012 19:33:21 -0500
parents 62475ab7570b
children da576746c3ba
comparison
equal deleted inserted replaced
478:f02b698aadb1 479:40a9a36844d6
5 \usepackage{fullpage} 5 \usepackage{fullpage}
6 \usepackage{coqdoc} 6 \usepackage{coqdoc}
7 \usepackage{amsmath,amssymb} 7 \usepackage{amsmath,amssymb}
8 \usepackage{url} 8 \usepackage{url}
9 \usepackage{makeidx,hyperref} 9 \usepackage{makeidx,hyperref}
10
11 \newcommand{\naive}[0]{na\"ive}
10 12
11 \title{Certified Programming with Dependent Types} 13 \title{Certified Programming with Dependent Types}
12 \author{Adam Chlipala} 14 \author{Adam Chlipala}
13 15
14 \makeindex 16 \makeindex