src/HOL/Tools/polyhash.ML
2005-12-23 paulson 2005-12-23 tidied
2005-12-21 paulson 2005-12-21 new hash table module in HOL/Too/s