src/HOL/IsaMakefile
changeset 27163 587ad1fba128
parent 27127 cd6617d57a16
child 27164 81632fd4ff61
equal deleted inserted replaced
27162:8d747de5c73e 27163:587ad1fba128
   809 ## HOL-Nominal-Examples
   809 ## HOL-Nominal-Examples
   810 
   810 
   811 HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz
   811 HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz
   812 
   812 
   813 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal 	\
   813 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal 	\
       
   814   Nominal/Examples/CK_Machine.thy \
   814   Nominal/Examples/CR.thy \
   815   Nominal/Examples/CR.thy \
   815   Nominal/Examples/CR_Takahashi.thy \
   816   Nominal/Examples/CR_Takahashi.thy \
   816   Nominal/Examples/Class.thy \
   817   Nominal/Examples/Class.thy \
   817   Nominal/Examples/Compile.thy \
   818   Nominal/Examples/Compile.thy \
   818   Nominal/Examples/Contexts.thy \
   819   Nominal/Examples/Contexts.thy \