# HG changeset patch
# User nipkow
# Date 1213274008 -7200
# Node ID 65bb0ddb0b9f67056072284841e59e6990f18064
# Parent  89d5f117add30ea826d2fcbce494d3047ea98461
Removed hide swap

diff -r 89d5f117add3 -r 65bb0ddb0b9f doc-src/TutorialI/Types/Pairs.thy
--- 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*}