
diff -r 2e9bf718a7a1 -r 65631ca437c9 src/HOL/Prolog/Test.thy
--- a/src/HOL/Prolog/Test.thy	Mon Dec 20 15:24:25 2010 +0100
+++ b/src/HOL/Prolog/Test.thy	Mon Dec 20 16:44:33 2010 +0100
@@ -37,9 +37,9 @@
   sue     :: person
   ned     :: person
 
-  "23"    :: nat          ("23")
-  "24"    :: nat          ("24")
-  "25"    :: nat          ("25")
+  nat23   :: nat          ("23")
+  nat24   :: nat          ("24")
+  nat25   :: nat          ("25")
 
   age     :: "[person, nat]                          => bool"
 




