src/HOL/Makefile
changeset 2019 b45d9f2042e0
parent 1981 432db3edccdc
child 2023 aa25f20c5d8b
     1.1 --- a/src/HOL/Makefile	Tue Sep 24 08:59:24 1996 +0200
     1.2 +++ b/src/HOL/Makefile	Tue Sep 24 09:02:34 1996 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4  COMP = $(ISABELLECOMP)
     1.5  NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF \
     1.6          mono Lfp Gfp Nat intr_elim indrule Inductive Finite Arith \
     1.7 -        Sexp Univ List RelPow
     1.8 +        Sexp Univ List RelPow Option
     1.9  
    1.10  FILES = ROOT.ML add_ind_def.ML datatype.ML hologic.ML\
    1.11  	ind_syntax.ML cladata.ML simpdata.ML\
    1.12 @@ -111,7 +111,7 @@
    1.13  IOA_NTP_NAMES = Abschannel Action Correctness Impl Lemmas Multiset Packet\
    1.14                  Receiver Sender
    1.15  IOA_ABP_NAMES = Action Correctness Lemmas
    1.16 -IOA_MT_NAMES = Asig IOA Option Solve
    1.17 +IOA_MT_NAMES = Asig IOA Solve
    1.18  
    1.19  IOA_FILES = IOA/NTP/ROOT.ML IOA/ABP/ROOT.ML IOA/NTP/Spec.thy\
    1.20   $(IOA_NTP_NAMES:%=IOA/NTP/%.thy) $(IOA_NTP_NAMES:%=IOA/NTP/%.ML)\