--- a/doc-src/Locales/Locales/Examples2.thy Wed Jun 04 16:44:08 2008 +0200
+++ b/doc-src/Locales/Locales/Examples2.thy Wed Jun 04 16:44:31 2008 +0200
@@ -1,10 +1,9 @@
-(*<*)
+(* $Id$ *)
+
theory Examples2
imports Examples
begin
-(*>*)
-
text {* This is achieved by unfolding suitable equations during
interpretation. These equations are given after the keyword
\isakeyword{where} and require proofs. The revised command,
@@ -29,6 +28,4 @@
"partial_order.less_def"} is obtained manually with @{text OF}.
*}
-(*<*)
end
-(*>*)
\ No newline at end of file