changeset 23213 | 43553703267c |
parent 23194 | 085fa3def13b |
child 23243 | a37d3e6e8323 |
--- a/src/HOL/IsaMakefile Sun Jun 03 16:57:51 2007 +0200 +++ b/src/HOL/IsaMakefile Sun Jun 03 23:16:41 2007 +0200 @@ -629,7 +629,7 @@ $(LOG)/HOL-ex.gz: $(OUT)/HOL Library/Commutative_Ring.thy \ ex/Abstract_NAT.thy ex/Antiquote.thy ex/Arith_Examples.thy \ - ex/BT.thy ex/BinEx.thy \ + ex/BT.thy ex/BinEx.thy ex/CTL.thy \ ex/Chinese.thy ex/Classical.thy ex/Classpackage.thy \ ex/Eval_examples.thy ex/Random.thy \ ex/Codegenerator.thy ex/Codegenerator_Rat.thy \