src/HOL/IsaMakefile
changeset 13906 eefdd6b14508
parent 13879 92c0973ac730
child 13908 4bdfa9f77254
     1.1 --- a/src/HOL/IsaMakefile	Tue Apr 08 09:44:21 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Apr 09 12:51:49 2003 +0200
     1.3 @@ -286,7 +286,6 @@
     1.4    Library/Primes.thy Library/FuncSet.thy \
     1.5    GroupTheory/Bij.thy \
     1.6    GroupTheory/Group.thy \
     1.7 -  GroupTheory/Summation.thy \
     1.8    GroupTheory/ROOT.ML \
     1.9    GroupTheory/document/root.tex
    1.10  	@$(ISATOOL) usedir -g true $(OUT)/HOL GroupTheory