Addition of Auth/KerberosIV; renaming of rules.new.sml to rules.sml
authorpaulson
Fri Apr 23 12:20:22 1999 +0200 (1999-04-23)
changeset 6496a185927883e5
parent 6495 d3b8440e1d47
child 6497 120ca2bb27e1
Addition of Auth/KerberosIV; renaming of rules.new.sml to rules.sml
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Apr 23 11:51:38 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Apr 23 12:20:22 1999 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4    $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/simplifier.ML \
     1.5    $(SRC)/Provers/split_paired_all.ML $(SRC)/Provers/splitter.ML \
     1.6    $(SRC)/Pure/section_utils.ML $(SRC)/TFL/dcterm.sml \
     1.7 -  $(SRC)/TFL/post.sml $(SRC)/TFL/rules.new.sml $(SRC)/TFL/rules.sig \
     1.8 +  $(SRC)/TFL/post.sml $(SRC)/TFL/rules.sml $(SRC)/TFL/rules.sig \
     1.9    $(SRC)/TFL/sys.sml $(SRC)/TFL/tfl.sig $(SRC)/TFL/tfl.sml \
    1.10    $(SRC)/TFL/thms.sig $(SRC)/TFL/thms.sml $(SRC)/TFL/thry.sig \
    1.11    $(SRC)/TFL/thry.sml $(SRC)/TFL/usyntax.sig $(SRC)/TFL/usyntax.sml \
    1.12 @@ -156,6 +156,8 @@
    1.13    Auth/OtwayRees_Bad.thy Auth/Public.ML Auth/Public.thy Auth/ROOT.ML \
    1.14    Auth/Recur.ML Auth/Recur.thy Auth/Shared.ML Auth/Shared.thy \
    1.15    Auth/TLS.ML Auth/TLS.thy Auth/WooLam.ML Auth/WooLam.thy \
    1.16 +  Auth/Kerberos_BAN.ML Auth/Kerberos_BAN.thy \
    1.17 +  Auth/KerberosIV.ML Auth/KerberosIV.thy \
    1.18    Auth/Yahalom.ML Auth/Yahalom.thy Auth/Yahalom2.ML Auth/Yahalom2.thy \
    1.19    Auth/Yahalom_Bad.ML Auth/Yahalom_Bad.thy
    1.20  	@$(ISATOOL) usedir $(OUT)/HOL Auth