diff -r 6b6d71d14e75 -r 06a6db387cd2 README
--- a/README	Fri Apr 05 09:18:17 2013 +0100
+++ b/README	Mon Apr 22 08:26:16 2013 +0100
@@ -26,5 +26,7 @@
 Literature - related work
 
 
+isabelle build -d . UTM
 isabelle make utm     -- creates the big session file
+
 isabelle make itp     -- creates paper
\ No newline at end of file