# HG changeset patch
# User haftmann
# Date 1167242999 -3600
# Node ID 5b553ed232511aea59fa0425b041e6b5105c2cdf
# Parent  a6439243512b229971b099ff72e6012e5640df71
removed Haskell reserved words

diff -r a6439243512b -r 5b553ed23251 src/HOL/Library/MLString.thy
--- a/src/HOL/Library/MLString.thy	Wed Dec 27 19:09:58 2006 +0100
+++ b/src/HOL/Library/MLString.thy	Wed Dec 27 19:09:59 2006 +0100
@@ -74,6 +74,5 @@
   (Haskell "_")
 
 code_reserved SML string explode
-code_reserved Haskell string
 
 end