equal
deleted
inserted
replaced
1134 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ |
1134 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ |
1135 Nominal/Examples/Nominal_Examples.thy \ |
1135 Nominal/Examples/Nominal_Examples.thy \ |
1136 Nominal/Examples/CK_Machine.thy \ |
1136 Nominal/Examples/CK_Machine.thy \ |
1137 Nominal/Examples/CR.thy \ |
1137 Nominal/Examples/CR.thy \ |
1138 Nominal/Examples/CR_Takahashi.thy \ |
1138 Nominal/Examples/CR_Takahashi.thy \ |
1139 Nominal/Examples/Class.thy \ |
1139 Nominal/Examples/Class1.thy \ |
|
1140 Nominal/Examples/Class2.thy \ |
|
1141 Nominal/Examples/Class3.thy \ |
1140 Nominal/Examples/Compile.thy \ |
1142 Nominal/Examples/Compile.thy \ |
1141 Nominal/Examples/Contexts.thy \ |
1143 Nominal/Examples/Contexts.thy \ |
1142 Nominal/Examples/Crary.thy \ |
1144 Nominal/Examples/Crary.thy \ |
1143 Nominal/Examples/Fsub.thy \ |
1145 Nominal/Examples/Fsub.thy \ |
1144 Nominal/Examples/Height.thy \ |
1146 Nominal/Examples/Height.thy \ |