# HG changeset patch
# User urbanc
# Date 1329188147 0
# Node ID cb46d2e06803f8dd4d7913723c70c4a852f6c796
# Parent  8f256104e4f31c6dfd670d1d0ac586233250f943
draft

diff -r 8f256104e4f3 -r cb46d2e06803 prio/Paper/Paper.thy
--- a/prio/Paper/Paper.thy	Tue Feb 14 02:53:34 2012 +0000
+++ b/prio/Paper/Paper.thy	Tue Feb 14 02:55:47 2012 +0000
@@ -1226,8 +1226,8 @@
   code with a few apply-scripts interspersed. The formal model of PIP
   is 385 lines long; the formal correctness proof 3800 lines. Some auxiliary
   definitions and proofs took 770 lines of code. The properties relevant
-  for an implementation took 2000 lines.  Our code can be downloaded from
-  ...
+  for an implementation took 2000 lines.  %%Our code can be downloaded from
+  %%...
 
   \bibliographystyle{plain}
   \bibliography{root}