Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added a reference
authorpaulson
Wed, 01 Mar 2000 12:26:28 +0100
changeset 8319 dcf8ae2419db
parent 8318 54d69141a17f
child 8320 073144bed7da
added a reference
src/FOL/ex/int.ML file | annotate | diff | comparison | revisions 
--- 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*)
isabelle