diff -r 4190df6f4488 -r f1e6071a4613 prio/IsaMakefile
--- a/prio/IsaMakefile	Tue Jan 24 00:20:09 2012 +0000
+++ b/prio/IsaMakefile	Tue Jan 24 00:34:52 2012 +0000
@@ -18,7 +18,7 @@
 
 session: ./ROOT.ML ./*.thy
 	@$(USEDIR) -b -D generated -f ROOT.ML HOL Prio
-	
+
 paper: Paper/ROOT.ML \
        Paper/*.thy 
 	@$(USEDIR) -D generated -f ROOT.ML Prio Paper