src/HOL/Tools/polyhash.ML
Wed, 21 Dec 2005 12:06:08 +0100 paulson new hash table module in HOL/Too/s
less more (0) tip