--2010-01-08 07:08:12--  http://pvs.csl.sri.com/doc/pvs-prelude.pdf
Resolving pvs.csl.sri.com... 130.107.1.100
Connecting to pvs.csl.sri.com|130.107.1.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 303145 (296K) [application/pdf]
Saving to: `./pvs-prelude.pdf'

     0K .......... .......... .......... .......... .......... 16%  125K 2s
    50K .......... .......... .......... .......... .......... 33%  288K 1s
   100K .......... .......... .......... .......... .......... 50%  404K 1s
   150K .......... .......... .......... .......... .......... 67%  451K 0s
   200K .......... .......... .......... .......... .......... 84%  772K 0s
   250K .......... .......... .......... .......... ......    100%  429K=1.0s

2010-01-08 07:08:14 (302 KB/s) - `./pvs-prelude.pdf' saved [303145/303145]

--2010-01-08 07:08:14--  http://pvs.csl.sri.com/doc/interpretations.pdf
Resolving pvs.csl.sri.com... 130.107.1.100
Connecting to pvs.csl.sri.com|130.107.1.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 118861 (116K) [application/pdf]
Saving to: `./interpretations.pdf'

     0K .......... .......... .......... .......... .......... 43%  846K 0s
    50K .......... .......... .......... .......... .......... 86%  468K 0s
   100K .......... ......                                     100% 2.17M=0.2s

2010-01-08 07:08:14 (670 KB/s) - `./interpretations.pdf' saved [118861/118861]

--2010-01-08 07:08:14--  http://pvs.csl.sri.com/papers/csl-97-2/csl-97-2.ps.gz
Resolving pvs.csl.sri.com... 130.107.1.100
Connecting to pvs.csl.sri.com|130.107.1.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 188705 (184K) [application/postscript]
Saving to: `./csl-97-2.ps.gz'

     0K .......... .......... .......... .......... .......... 27%  903K 0s
    50K .......... .......... .......... .......... .......... 54%  476K 0s
   100K .......... .......... .......... .......... .......... 81%  746K 0s
   150K .......... .......... .......... ....                 100%  584K=0.3s

2010-01-08 07:08:14 (644 KB/s) - `./csl-97-2.ps.gz' saved [188705/188705]

--2010-01-08 07:08:14--  http://pvs.csl.sri.com/papers/csl-93-9/csl-93-9.ps.gz
Resolving pvs.csl.sri.com... 130.107.1.100
Connecting to pvs.csl.sri.com|130.107.1.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 94825 (93K) [application/postscript]
Saving to: `./csl-93-9.ps.gz'

     0K .......... .......... .......... .......... .......... 53%  662K 0s
    50K .......... .......... .......... .......... ..        100%  716K=0.1s

2010-01-08 07:08:15 (686 KB/s) - `./csl-93-9.ps.gz' saved [94825/94825]