--- a/src/Pure/Pure.thy Wed Aug 01 18:57:17 2012 +0200 +++ b/src/Pure/Pure.thy Wed Aug 01 19:53:20 2012 +0200 @@ -1,3 +1,5 @@ +theory Pure +begin section {* Further content for the Pure theory *} @@ -82,3 +84,5 @@ qed qed +end +