equal
deleted
inserted
replaced
772 |
772 |
773 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ |
773 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ |
774 Nominal/Examples/ROOT.ML \ |
774 Nominal/Examples/ROOT.ML \ |
775 Nominal/Examples/CR.thy \ |
775 Nominal/Examples/CR.thy \ |
776 Nominal/Examples/CR_Takahashi.thy \ |
776 Nominal/Examples/CR_Takahashi.thy \ |
777 Nominal/Examples/Class.thy \ |
777 ## Nominal/Examples/Class.thy \ |
778 Nominal/Examples/Compile.thy \ |
778 Nominal/Examples/Compile.thy \ |
779 Nominal/Examples/Fsub.thy \ |
779 Nominal/Examples/Fsub.thy \ |
780 Nominal/Examples/Lambda_mu.thy \ |
780 Nominal/Examples/Lambda_mu.thy \ |
781 Nominal/Examples/Lam_Funs.thy \ |
781 Nominal/Examples/Lam_Funs.thy \ |
782 Nominal/Examples/SN.thy \ |
782 Nominal/Examples/SN.thy \ |