| changeset 69605 | a96320074298 |
| parent 67399 | eab6ce8368fa |
| child 77811 | ae9e6218443d |
--- a/src/HOL/Library/Cancellation.thy Sun Jan 06 13:44:33 2019 +0100 +++ b/src/HOL/Library/Cancellation.thy Sun Jan 06 15:04:34 2019 +0100 @@ -76,9 +76,9 @@ subsection \<open>Simproc Set-Up\<close> -ML_file "Cancellation/cancel.ML" -ML_file "Cancellation/cancel_data.ML" -ML_file "Cancellation/cancel_simprocs.ML" +ML_file \<open>Cancellation/cancel.ML\<close> +ML_file \<open>Cancellation/cancel_data.ML\<close> +ML_file \<open>Cancellation/cancel_simprocs.ML\<close> end