ProgTutorial/FirstSteps.thy
changeset 261 358f325f4db6
parent 260 5accec94b6df
child 262 e0049c842785
--- a/ProgTutorial/FirstSteps.thy	Fri Jun 05 04:17:28 2009 +0200
+++ b/ProgTutorial/FirstSteps.thy	Tue Jun 23 04:05:01 2009 +0200
@@ -2136,6 +2136,6 @@
 
 section {* Misc (TBD) *}
 
-ML {*DatatypePackage.get_datatype @{theory} "List.list"*}
+ML {*Datatype.get_datatype @{theory} "List.list"*}
 
 end