src/HOL/IsaMakefile
changeset 13943 83d842ccd4aa
parent 13939 b3ef90abbd02
child 13949 0ce528cd6f19
     1.1 --- a/src/HOL/IsaMakefile	Thu May 01 08:39:37 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu May 01 10:29:44 2003 +0200
     1.3 @@ -284,7 +284,6 @@
     1.4  
     1.5  $(LOG)/HOL-GroupTheory.gz: $(OUT)/HOL \
     1.6    Library/Primes.thy Library/FuncSet.thy \
     1.7 -  GroupTheory/Bij.thy \
     1.8    GroupTheory/Group.thy \
     1.9    GroupTheory/ROOT.ML \
    1.10    GroupTheory/document/root.tex
    1.11 @@ -341,6 +340,7 @@
    1.12  HOL-Algebra: HOL $(LOG)/HOL-Algebra.gz
    1.13  
    1.14  $(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML \
    1.15 +  Algebra/Bij.thy \
    1.16    Algebra/CRing.thy \
    1.17    Algebra/Coset.thy \
    1.18    Algebra/Exponent.thy \