src/HOL/TPTP/mash_export.ML
changeset 48242 713e32be9845
parent 48240 6a8d18798161
child 48245 854a47677335
--- a/src/HOL/TPTP/mash_export.ML	Wed Jul 11 11:28:10 2012 +0200
+++ b/src/HOL/TPTP/mash_export.ML	Wed Jul 11 11:28:27 2012 +0200
@@ -179,6 +179,7 @@
 
 val max_depth = 1
 
+(* TODO: Generate type classes for types? *)
 fun features_of thy (status, th) =
   let val t = Thm.prop_of th in
     thy_name_of (thy_name_of_thm th) ::