equal
deleted
inserted
replaced
784 |
784 |
785 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ |
785 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ |
786 Nominal/Examples/ROOT.ML \ |
786 Nominal/Examples/ROOT.ML \ |
787 Nominal/Examples/CR.thy \ |
787 Nominal/Examples/CR.thy \ |
788 Nominal/Examples/CR_Takahashi.thy \ |
788 Nominal/Examples/CR_Takahashi.thy \ |
789 ## Nominal/Examples/Class.thy \ |
789 Nominal/Examples/Class.thy \ |
790 Nominal/Examples/Compile.thy \ |
790 Nominal/Examples/Compile.thy \ |
791 Nominal/Examples/Fsub.thy \ |
791 Nominal/Examples/Fsub.thy \ |
792 Nominal/Examples/Lambda_mu.thy \ |
792 Nominal/Examples/Lambda_mu.thy \ |
793 Nominal/Examples/Lam_Funs.thy \ |
793 Nominal/Examples/Lam_Funs.thy \ |
794 Nominal/Examples/SN.thy \ |
794 Nominal/Examples/SN.thy \ |