# HG changeset patch
# User wenzelm
# Date 1125763008 -7200
# Node ID e89fbfd778c1174b92b418c24c52586c8d957737
# Parent  81bf91654e73246c8e92d4231a9a2edb4321f786
uses ("LCF_lemmas.ML");

diff -r 81bf91654e73 -r e89fbfd778c1 src/LCF/LCF.thy
--- a/src/LCF/LCF.thy	Sat Sep 03 17:54:10 2005 +0200
+++ b/src/LCF/LCF.thy	Sat Sep 03 17:56:48 2005 +0200
@@ -8,7 +8,7 @@
 
 theory LCF
 imports FOL
-uses ("pair.ML") ("fix.ML")
+uses ("LCF_lemmas.ML") ("pair.ML") ("fix.ML")
 begin
 
 text {* This theory is based on Lawrence Paulson's book Logic and Computation. *}