# HG changeset patch
# User huffman
# Date 1332785261 -7200
# Node ID c1950a58b670545998bff6d42eea9ab85b14c117
# Parent  e980b14c347dd87413c8c95196cdf21986490238# Parent  500a5d97511a75812575b5644d9ad5fb8829cf36
merged

diff -r e980b14c347d -r c1950a58b670 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Mar 26 20:07:29 2012 +0200
+++ b/src/HOL/IsaMakefile	Mon Mar 26 20:07:41 2012 +0200
@@ -65,7 +65,6 @@
   HOL-Predicate_Compile_Examples \
   HOL-Prolog \
   HOL-Proofs-ex \
-  HOL-Proofs-Lambda \
   HOL-SET_Protocol \
   HOL-SPARK-Examples \
   HOL-SPARK-Manual \
@@ -81,6 +80,8 @@
   HOL-ZF
     # ^ this is the sort position
 
+# FIXME  HOL-Proofs-Lambda
+
 generate: \
   HOL-HOL4-Generate \
   HOL-HOL_Light-Generate