doc-src/IsarRef/Thy/Spec.thy
changeset 29752 ad4e3a577fd3
parent 29745 fe221f1d8976
child 30242 aea5d7fa7ef5
     1.1 --- a/doc-src/IsarRef/Thy/Spec.thy	Mon Feb 16 20:07:05 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/Spec.thy	Mon Feb 16 20:15:40 2009 +0100
     1.3 @@ -1182,7 +1182,7 @@
     1.4  
     1.5    \end{description}
     1.6  
     1.7 -  See @{"file" "~~/src/FOL/ex/IffOracle.thy"} for a worked example of
     1.8 +  See @{"file" "~~/src/FOL/ex/Iff_Oracle.thy"} for a worked example of
     1.9    defining a new primitive rule as oracle, and turning it into a proof
    1.10    method.
    1.11  *}