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