Searched defs:renameClashes (Results 1 - 1 of 1) sorted by relevance
| /hets/HolLight/OcamlTools/exportTools/ | ||
| H A D | fixnames.ml | 47 let renameClashes t = doRenames (Hashtbl.create 100) (ref (getNames t)) t var 49 let fixNames (s,t) = (s,renameClashes (concl t));; |
Completed in 10 milliseconds