--- a/src/HOL/Nominal/Examples/Fsub.thy Sun Nov 27 03:55:16 2005 +0100 +++ b/src/HOL/Nominal/Examples/Fsub.thy Sun Nov 27 04:59:20 2005 +0100 @@ -1,5 +1,5 @@ theory fsub -imports nominal +imports "../nominal" begin atom_decl tyvrs vrs