217     case Symtab.lookup (QConstsData.get thy) name of

   217     case Symtab.lookup (QConstsData.get thy) name of

   218       NONE => raise NotFound

   218       NONE => raise NotFound

   219     | SOME l =>

   219     | SOME l =>

   220       (case (find_first matches l) of

   220       (case (find_first matches l) of

   221         SOME x => x

   221         SOME x => x

   224   end

   223   end

   225 

   224 

   226 fun print_qconstinfo ctxt =

   225 fun print_qconstinfo ctxt =

   227 let

   226 let

   228   fun prt_qconst {qconst, rconst, def} =

   227   fun prt_qconst {qconst, rconst, def} =