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: