diff -r 8495d879012b -r c239594a49a7 pip.html
--- a/pip.html	Tue Feb 14 03:27:06 2012 +0000
+++ b/pip.html	Tue Feb 14 03:43:49 2012 +0000
@@ -44,13 +44,14 @@
 Paulson's inductive approach to verifying protocols.
 <BR><BR>
 
-
+The source code can be downloaded 
+<A HREF="http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/prio">here</A>.
 <BR><BR><BR><BR>
 
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Thu Feb 28 20:24:23 CET 2008
+Last modified: Thu Feb 13 20:24:23 CET 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>