--- 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: