changeset 13984 | e055ba9020eb |
parent 13982 | 8abae6b7084c |
child 14025 | d9b155757dc8 |
--- a/src/HOL/IsaMakefile Thu May 08 15:23:21 2003 +0200 +++ b/src/HOL/IsaMakefile Thu May 08 17:44:38 2003 +0200 @@ -165,6 +165,7 @@ Hyperreal/Star.ML Hyperreal/Star.thy Hyperreal/Transcendental.ML\ Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML \ Hyperreal/hypreal_arith0.ML\ + Complex/Complex_Main.thy\ Complex/CLim.ML Complex/CLim.thy\ Complex/CSeries.ML Complex/CSeries.thy\ Complex/CStar.ML Complex/CStar.thy\