NEWS
changeset 7444 ee17ad649c26
parent 7420 cba45c114f3b
child 7450 e329ca03fd00
     1.1 --- a/NEWS	Thu Sep 02 15:25:19 1999 +0200
     1.2 +++ b/NEWS	Fri Sep 03 10:12:42 1999 +0200
     1.3 @@ -144,7 +144,7 @@
     1.4  are proved automatically.  SVC must be installed separately, and its results
     1.5  must be TAKEN ON TRUST (Isabelle does not check the proofs, but tags any
     1.6  invocation of the underlying oracle).  For SVC see
     1.7 -  http://agamemnon.stanford.edu/~levitt/vc/index.html
     1.8 +  http://verify.stanford.edu/SVC
     1.9  
    1.10  * IsaMakefile: the HOL-Real target now builds an actual image;
    1.11