--- a/Nominal/nominal_dt_data.ML	Tue Mar 22 12:18:30 2016 +0000
+++ b/Nominal/nominal_dt_data.ML	Thu Apr 19 13:57:17 2018 +0100
@@ -144,4 +144,4 @@
    alpha_cases      : thm list,
    alpha_raw_induct : thm}
 
-end
\ No newline at end of file
+end