# HG changeset patch
# User blanchet
# Date 1341998907 -7200
# Node ID 713e32be9845fbf08da164f8dcd325341de9246b
# Parent  688f1172d52345ee6d890b16641c1e5229cf531c
comment

diff -r 688f1172d523 -r 713e32be9845 src/HOL/TPTP/mash_export.ML
--- 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) ::