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