| Mon, 29 Sep 2008 11:46:47 +0200 | wenzelm | handle _ should be avoided (spurious Interrupt will spoil the game); | file | diff | annotate |
| Thu, 21 Sep 2006 17:39:57 +0200 | paulson | new function hashw_int | file | diff | annotate |
| Fri, 25 Aug 2006 18:46:24 +0200 | paulson | using inc | file | diff | annotate |
| Fri, 23 Dec 2005 17:34:46 +0100 | paulson | tidied | file | diff | annotate |
| Wed, 21 Dec 2005 12:06:08 +0100 | paulson | new hash table module in HOL/Too/s | file | diff | annotate |