1.1 --- a/src/HOLCF/IsaMakefile	Thu Apr 24 18:38:30 1997 +0200
     1.2 +++ b/src/HOLCF/IsaMakefile	Thu Apr 24 18:44:32 1997 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4  ONLYTHYS = Lift.thy
     1.5  
     1.6  FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML) \
     1.7 -        ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \ 
     1.8 +        ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \
     1.9          ax_ops/thy_ops.ML    ax_ops/thy_syntax.ML \
    1.10          domain/library.ML  domain/syntax.ML   domain/axioms.ML \
    1.11          domain/theorems.ML domain/extender.ML domain/interface.ML