# HG changeset patch
# User huffman
# Date 1332785358 -7200
# Node ID d0d16b20b6cebaf0df046249f6116d61942f3010
# Parent  c1950a58b670545998bff6d42eea9ab85b14c117
revert changeset 500a5d97511a, re-enabling HOL-Proofs-Lambda

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