--- a/doc-src/TutorialI/Types/Pairs.thy Thu Jun 12 14:21:10 2008 +0200
+++ b/doc-src/TutorialI/Types/Pairs.thy Thu Jun 12 14:33:28 2008 +0200
@@ -1,4 +1,4 @@
-(*<*)theory Pairs imports Main begin hide const swap(*>*)
+(*<*)theory Pairs imports Main begin(*>*)
section{*Pairs and Tuples*}