author | huffman |
Mon, 26 Mar 2012 20:07:41 +0200 | |
changeset 47997 | c1950a58b670 |
parent 47996 | e980b14c347d |
parent 47991 | 500a5d97511a |
child 47998 | d0d16b20b6ce |
1.1 --- a/src/HOL/IsaMakefile Mon Mar 26 20:07:29 2012 +0200 1.2 +++ b/src/HOL/IsaMakefile Mon Mar 26 20:07:41 2012 +0200 1.3 @@ -65,7 +65,6 @@ 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 @@ -81,6 +80,8 @@ 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