# HG changeset patch
# User paulson
# Date 951909988 -3600
# Node ID dcf8ae2419db6f63d8ab4f4e21da78ac99a06bb7
# Parent  54d69141a17f73f5ccb4dec76a9eaf0b876794cc
added a reference

diff -r 54d69141a17f -r dcf8ae2419db src/FOL/ex/int.ML
--- a/src/FOL/ex/int.ML	Wed Mar 01 12:18:40 2000 +0100
+++ b/src/FOL/ex/int.ML	Wed Mar 01 12:26:28 2000 +0100
@@ -117,7 +117,8 @@
 
 
 (*** Problems from of Sahlin, Franzen and Haridi, 
-     An Intuitionistic Predicate Logic Theorem Prover
+     An Intuitionistic Predicate Logic Theorem Prover.
+     J. Logic and Comp. 2 (5), October 1992, 619-656.
 ***)
 
 (*Problem 1.1*)