Mercurial > cpdt > repo

comparison src/Firstorder.v @ 153:8c19768f1a1a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix some uglyness
author Adam Chlipala <adamc@hcoop.net>
date Sun, 02 Nov 2008 12:20:56 -0500
parents 8157e8e28e2e
children 358dcb6e08f2
comparison
equal deleted inserted replaced
152:8157e8e28e2e 153:8c19768f1a1a
14 14
15 Set Implicit Arguments. 15 Set Implicit Arguments.
16 (* end hide *) 16 (* end hide *)
17 17
18 18
19 (** %\section{Formalizing Programming Languages and Compilers} 19 (** %\part{Formalizing Programming Languages and Compilers}
20 20
21 \chapter{First-Order Variable Representations}% *) 21 \chapter{First-Order Abstract Syntax}% *)
22 22
23 (** TODO: Prose for this chapter *) 23 (** TODO: Prose for this chapter *)
24 24
25 25
26 (** * Concrete Binding *) 26 (** * Concrete Binding *)