src/HOL/IsaMakefile
changeset 22528 8501c4a62a3c
parent 22517 2f4c97414746
child 22631 7ae5a6ab7bd6
     1.1 --- a/src/HOL/IsaMakefile	Tue Mar 27 09:19:37 2007 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Mar 27 12:28:42 2007 +0200
     1.3 @@ -616,10 +616,10 @@
     1.4  
     1.5  HOL-ex: HOL $(LOG)/HOL-ex.gz
     1.6  
     1.7 -$(LOG)/HOL-ex.gz: $(OUT)/HOL Library/Commutative_Ring.thy			\
     1.8 -  ex/Abstract_NAT.thy ex/Antiquote.thy ex/BT.thy ex/BinEx.thy			\
     1.9 +$(LOG)/HOL-ex.gz: $(OUT)/HOL Library/Commutative_Ring.thy                       \
    1.10 +  ex/Abstract_NAT.thy ex/Antiquote.thy ex/BT.thy ex/BinEx.thy                   \
    1.11    ex/Chinese.thy ex/Classical.thy ex/Classpackage.thy                           \
    1.12 -  ex/Eval_examples.thy ex/CodeRandom.thy ex/CodeRevappl.thy			\
    1.13 +  ex/Eval_examples.thy ex/Random.thy                                            \
    1.14    ex/Codegenerator.thy ex/Codegenerator_Rat.thy                                 \
    1.15    ex/Commutative_RingEx.thy ex/Hex_Bin_Examples.thy                             \
    1.16    ex/Commutative_Ring_Complete.thy ex/ExecutableContent.thy                     \