src/HOL/Tools/polyhash.ML
2006-09-21 paulson 2006-09-21 new function hashw_int
2006-08-25 paulson 2006-08-25 using inc
2005-12-23 paulson 2005-12-23 tidied
2005-12-21 paulson 2005-12-21 new hash table module in HOL/Too/s