src/HOL/IsaMakefile
changeset 5712 18f1c2501343
parent 5699 5b9a359e083c
child 5740 3a466866f7b9
     1.1 --- a/src/HOL/IsaMakefile	Wed Oct 21 16:06:09 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Oct 21 16:34:18 1998 +0200
     1.3 @@ -259,7 +259,7 @@
     1.4    AxClasses/Lattice/Lattice.thy AxClasses/Lattice/OrdDefs.ML \
     1.5    AxClasses/Lattice/OrdDefs.thy AxClasses/Lattice/OrdInsts.thy \
     1.6    AxClasses/Lattice/Order.ML AxClasses/Lattice/Order.thy \
     1.7 -  AxClasses/Lattice/ROOT.ML AxClasses/Lattice/tools.ML
     1.8 +  AxClasses/Lattice/ROOT.ML
     1.9  	@$(ISATOOL) usedir -s AxClasses-Lattice $(OUT)/HOL AxClasses/Lattice
    1.10  
    1.11