src/HOL/String.thy
changeset 42163 392fd6c4669c
parent 41750 2b4f7a29126f
child 42411 ff997038e8eb
     1.1 --- a/src/HOL/String.thy	Wed Mar 30 11:32:51 2011 +0200
     1.2 +++ b/src/HOL/String.thy	Wed Mar 30 11:32:52 2011 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  
     1.5  subsection {* Strings *}
     1.6  
     1.7 -types string = "char list"
     1.8 +type_synonym string = "char list"
     1.9  
    1.10  syntax
    1.11    "_String" :: "xstr => string"    ("_")