equal
deleted
inserted
replaced
732 ## HOL-Nominal-Examples |
732 ## HOL-Nominal-Examples |
733 |
733 |
734 HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz |
734 HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz |
735 |
735 |
736 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ |
736 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ |
737 Nominal/Examples/ROOT.ML |
737 Nominal/Examples/ROOT.ML \ |
738 Nominal/Examples/CR.thy \ |
738 Nominal/Examples/CR.thy \ |
739 Nominal/Examples/Class.thy \ |
739 Nominal/Examples/Class.thy \ |
740 Nominal/Examples/Compile.thy \ |
740 Nominal/Examples/Compile.thy \ |
741 Nominal/Examples/Fsub.thy \ |
741 Nominal/Examples/Fsub.thy \ |
742 Nominal/Examples/Lambda_mu.thy \ |
742 Nominal/Examples/Lambda_mu.thy \ |