--- a/src/HOL/Nominal/Examples/Weakening.thy Mon Nov 28 00:25:43 2005 +0100 +++ b/src/HOL/Nominal/Examples/Weakening.thy Mon Nov 28 05:03:00 2005 +0100 @@ -1,5 +1,6 @@ +(* $Id$ *) -theory lam_public +theory weakening imports "../nominal" begin