diff --git a/doc/lispintro/cons-1.pdf b/doc/lispintro/cons-1.pdf
new file mode 100644
index 00000000000..2ee86b12311
Binary files /dev/null and b/doc/lispintro/cons-1.pdf differ
diff --git a/doc/lispintro/cons-2.pdf b/doc/lispintro/cons-2.pdf
new file mode 100644
index 00000000000..c26906f6f86
Binary files /dev/null and b/doc/lispintro/cons-2.pdf differ
diff --git a/doc/lispintro/cons-2a.pdf b/doc/lispintro/cons-2a.pdf
new file mode 100644
index 00000000000..c159e8b9d82
Binary files /dev/null and b/doc/lispintro/cons-2a.pdf differ
diff --git a/doc/lispintro/cons-3.pdf b/doc/lispintro/cons-3.pdf
new file mode 100644
index 00000000000..91046d06e9c
Binary files /dev/null and b/doc/lispintro/cons-3.pdf differ
diff --git a/doc/lispintro/cons-4.pdf b/doc/lispintro/cons-4.pdf
new file mode 100644
index 00000000000..1165ef03de5
Binary files /dev/null and b/doc/lispintro/cons-4.pdf differ
diff --git a/doc/lispintro/cons-5.pdf b/doc/lispintro/cons-5.pdf
new file mode 100644
index 00000000000..b9e713f2dac
Binary files /dev/null and b/doc/lispintro/cons-5.pdf differ
diff --git a/doc/lispintro/drawers.pdf b/doc/lispintro/drawers.pdf
new file mode 100644
index 00000000000..ca7e0ff1629
Binary files /dev/null and b/doc/lispintro/drawers.pdf differ
diff --git a/doc/lispintro/lambda-1.pdf b/doc/lispintro/lambda-1.pdf
new file mode 100644
index 00000000000..158d6fd2276
Binary files /dev/null and b/doc/lispintro/lambda-1.pdf differ
diff --git a/doc/lispintro/lambda-2.pdf b/doc/lispintro/lambda-2.pdf
new file mode 100644
index 00000000000..33f3e0d25a0
Binary files /dev/null and b/doc/lispintro/lambda-2.pdf differ
diff --git a/doc/lispintro/lambda-3.pdf b/doc/lispintro/lambda-3.pdf
new file mode 100644
index 00000000000..6b54c9440ab
Binary files /dev/null and b/doc/lispintro/lambda-3.pdf differ