--- a/ProgTutorial/Advanced.thy	Wed Oct 15 23:12:54 2014 +0100
+++ b/ProgTutorial/Advanced.thy	Wed Oct 15 23:40:05 2014 +0100
@@ -574,8 +574,6 @@
 
 section {* Misc (TBD) *}
 
-ML {*Datatype.get_info @{theory} "List.list"*}
-
 text {* 
 FIXME: association lists:
 @{ML_file "Pure/General/alist.ML"}