changeset 35475 | 979019ab92eb |
parent 35473 | c4d3d65856dd |
child 35530 | 3bf57d8cb58d |
--- a/src/HOLCF/IsaMakefile Sun Feb 28 15:09:09 2010 -0800 +++ b/src/HOLCF/IsaMakefile Sun Feb 28 15:30:44 2010 -0800 @@ -64,6 +64,7 @@ Tools/adm_tac.ML \ Tools/cont_consts.ML \ Tools/cont_proc.ML \ + Tools/holcf_library.ML \ Tools/Domain/domain_extender.ML \ Tools/Domain/domain_axioms.ML \ Tools/Domain/domain_constructors.ML \