src/HOL/ROOT
changeset 68649 f849fc1cb65e
parent 68640 f15daa73ee32
child 68677 99b1cf1e2d48
     1.1 --- a/src/HOL/ROOT	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -188,7 +188,7 @@
     1.4  
     1.5      This is an extension of IMP with local variables and mutually recursive
     1.6      procedures. For documentation see "Hoare Logic for Mutual Recursion and
     1.7 -    Local Variables" (http://isabelle.in.tum.de/Bali/papers/FSTTCS99.html).
     1.8 +    Local Variables" (https://isabelle.in.tum.de/Bali/papers/FSTTCS99.html).
     1.9    *}
    1.10    theories EvenOdd
    1.11