author | huffman |
Mon, 26 Mar 2012 20:09:18 +0200 | |
changeset 47998 | d0d16b20b6ce |
parent 47997 | c1950a58b670 |
child 47999 | bd1679890503 |
1.1 --- a/src/HOL/IsaMakefile Mon Mar 26 20:07:41 2012 +0200 1.2 +++ b/src/HOL/IsaMakefile Mon Mar 26 20:09:18 2012 +0200 1.3 @@ -65,6 +65,7 @@ 1.4 HOL-Predicate_Compile_Examples \ 1.5 HOL-Prolog \ 1.6 HOL-Proofs-ex \ 1.7 + HOL-Proofs-Lambda \ 1.8 HOL-SET_Protocol \ 1.9 HOL-SPARK-Examples \ 1.10 HOL-SPARK-Manual \ 1.11 @@ -80,8 +81,6 @@ 1.12 HOL-ZF 1.13 # ^ this is the sort position 1.14 1.15 -# FIXME HOL-Proofs-Lambda 1.16 - 1.17 generate: \ 1.18 HOL-HOL4-Generate \ 1.19 HOL-HOL_Light-Generate