diff -r fe2529a9f250 -r 670131bcba4a Quot/quotient_info.ML
--- a/Quot/quotient_info.ML	Mon Dec 14 14:24:08 2009 +0100
+++ b/Quot/quotient_info.ML	Tue Dec 15 15:38:17 2009 +0100
@@ -170,6 +170,8 @@
 fun qconsts_dest thy =
   map snd (Symtab.dest (QConstsData.get thy))
 
+(* FIXME / TODO : better implementation of the lookup datastructure *)
+(* for example symtabs to alist; or tables with string type key     *) 
 fun qconsts_lookup thy t =
   let
     val smt = Symtab.dest (QConstsData.get thy);