tuned;
authorwenzelm
Mon Mar 04 14:27:10 2002 +0100 (2002-03-04)
changeset 130103437d8d89803
parent 13009 fcbc9e506a63
child 13011 a474097a4c65
tuned;
ANNOUNCE
Admin/page/dist-content/docs.content
     1.1 --- a/ANNOUNCE	Mon Mar 04 13:56:12 2002 +0100
     1.2 +++ b/ANNOUNCE	Mon Mar 04 14:27:10 2002 +0100
     1.3 @@ -42,8 +42,7 @@
     1.4  
     1.5    * HOL/HoareParallel: large application concerning verification of
     1.6      parallel imperative programs (Owicki-Gries method, Rely-Guarantee
     1.7 -    method, including examples of garbage collection, mutual
     1.8 -    exclusion, etc.)
     1.9 +    method, examples of garbage collection, mutual exclusion, etc.)
    1.10      (by Leonor Prensa Nieto).
    1.11  
    1.12    * HOL/GroupTheory: group theory examples including Sylow's theorem
     2.1 --- a/Admin/page/dist-content/docs.content	Mon Mar 04 13:56:12 2002 +0100
     2.2 +++ b/Admin/page/dist-content/docs.content	Mon Mar 04 14:27:10 2002 +0100
     2.3 @@ -8,8 +8,7 @@
     2.4  Isabelle distribution.  For getting started with Isabelle quickly, we
     2.5  recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a> --
     2.6  published by Springer Verlag as <a
     2.7 -href="http://link.springer.de/link/service/series/0558/tocs/t2283.htm">LNCS
     2.8 -2283</a>.
     2.9 +href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>.
    2.10  
    2.11  <!-- _GP_ include("$pwd/docu-contents.dist") -->
    2.12