src/HOL/IsaMakefile
changeset 13589 b6d1a29dc978
parent 13588 07b66a557487
child 13672 b95d12325b51
     1.1 --- a/src/HOL/IsaMakefile	Thu Sep 26 15:21:38 2002 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Sep 27 10:33:47 2002 +0200
     1.3 @@ -281,7 +281,7 @@
     1.4    GroupTheory/Coset.thy \
     1.5    GroupTheory/Exponent.thy \
     1.6    GroupTheory/Group.thy \
     1.7 -  GroupTheory/Ring.thy \
     1.8 +  GroupTheory/Module.thy GroupTheory/Ring.thy \
     1.9    GroupTheory/Sylow.thy \
    1.10    GroupTheory/ROOT.ML \
    1.11    GroupTheory/document/root.tex