author | wenzelm |
Sun, 03 Jun 2007 23:16:41 +0200 | |
changeset 23213 | 43553703267c |
parent 23212 | 82881b1ae9c6 |
child 23214 | dc23c062b58c |
--- 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 \