# HG changeset patch
# User lcp
# Date 797159077 -7200
# Node ID 65188e5200242b8f096a70e489f60eb0f20b9632
# Parent  70676af0ac974e0a1a03cac8b3dece113224536b
Updated comments.

diff -r 70676af0ac97 -r 65188e520024 src/FOL/intprover.ML
--- a/src/FOL/intprover.ML	Thu Apr 06 11:02:55 1995 +0200
+++ b/src/FOL/intprover.ML	Thu Apr 06 11:04:37 1995 +0200
@@ -11,7 +11,9 @@
 
 Roy Dyckhoff.
 Contraction-Free Sequent Calculi for Intuitionistic Logic.
-J. Symbolic Logic (in press)
+J. Symbolic Logic  57(3), 1992, pages 795-807.
+
+The approach was developed independently by Roy Dyckhoff and L C Paulson.
 *)
 
 signature INT_PROVER =