--- a/src/HOL/Nominal/Examples/SOS.thy Fri Aug 18 13:55:05 2017 +0200
+++ b/src/HOL/Nominal/Examples/SOS.thy Fri Aug 18 20:47:47 2017 +0200
@@ -11,7 +11,7 @@
(* Christian Urban. *)
theory SOS
- imports "../Nominal"
+ imports "HOL-Nominal.Nominal"
begin
atom_decl name