1.1 --- a/src/FOL/ex/int.ML	Wed Mar 01 12:18:40 2000 +0100
     1.2 +++ b/src/FOL/ex/int.ML	Wed Mar 01 12:26:28 2000 +0100
     1.3 @@ -117,7 +117,8 @@
     1.4  
     1.5  
     1.6  (*** Problems from of Sahlin, Franzen and Haridi, 
     1.7 -     An Intuitionistic Predicate Logic Theorem Prover
     1.8 +     An Intuitionistic Predicate Logic Theorem Prover.
     1.9 +     J. Logic and Comp. 2 (5), October 1992, 619-656.
    1.10  ***)
    1.11  
    1.12  (*Problem 1.1*)