changeset 13745 | a31e04831dd1 |
parent 13735 | 7de9342aca7a |
child 13776 | f90298f884c4 |
--- a/src/HOL/IsaMakefile Tue Dec 10 10:40:32 2002 +0100 +++ b/src/HOL/IsaMakefile Wed Dec 11 10:12:48 2002 +0100 @@ -284,6 +284,7 @@ GroupTheory/Exponent.thy \ GroupTheory/Group.thy \ GroupTheory/Module.thy GroupTheory/Ring.thy \ + GroupTheory/Summation.thy \ GroupTheory/Sylow.thy \ GroupTheory/ROOT.ML \ GroupTheory/document/root.tex