# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1422623955 0
# Node ID 434ba43d043017eb21cb1f70785054794fd31485
# Parent  1769b702d4dc42e985650c988004f93ded965a71
added line numbers

diff -r 1769b702d4dc -r 434ba43d0430 thys/notes.pdf
Binary file thys/notes.pdf has changed
diff -r 1769b702d4dc -r 434ba43d0430 thys/notes.tex
--- a/thys/notes.tex	Fri Jan 30 13:11:39 2015 +0000
+++ b/thys/notes.tex	Fri Jan 30 13:19:15 2015 +0000
@@ -1,6 +1,8 @@
 \documentclass[11pt]{article}
+\usepackage[left]{lineno}
 
 \begin{document}
+\linenumbers
 
 \noindent
 A lemma which might be true, but can also be false, is as follows: