diff -r f1e6071a4613 -r 24199eb2c423 prio/IsaMakefile
--- a/prio/IsaMakefile	Tue Jan 24 00:34:52 2012 +0000
+++ b/prio/IsaMakefile	Fri Jan 27 13:50:02 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