src/HOL/IsaMakefile
changeset 16356 94011cf701a4
parent 16187 6ec757011ad6
child 16484 eaf7bb77fed6
     1.1 --- a/src/HOL/IsaMakefile	Thu Jun 09 16:58:03 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jun 09 23:33:28 2005 +0200
     1.3 @@ -593,7 +593,7 @@
     1.4  HOL-Isar_examples: HOL $(LOG)/HOL-Isar_examples.gz
     1.5  
     1.6  $(LOG)/HOL-Isar_examples.gz: $(OUT)/HOL Isar_examples/BasicLogic.thy \
     1.7 -  Isar_examples/Cantor.ML Isar_examples/Cantor.thy \
     1.8 +  Isar_examples/Cantor.ML Isar_examples/Cantor.thy Isar_examples/Drinker.thy \
     1.9    Isar_examples/ExprCompiler.thy Isar_examples/Fibonacci.thy \
    1.10    Isar_examples/Group.thy Isar_examples/Hoare.thy Isar_examples/HoareEx.thy \
    1.11    Isar_examples/KnasterTarski.thy Isar_examples/MutilatedCheckerboard.thy \