Commit graph

2 commits

Author SHA1 Message Date
Simon Cruanes
61ab1ab2cd updated PersistentHashtbl 2013-10-28 11:20:13 +01:00
Simon Cruanes
a82ebf7d59 added PersistentHashtbl, adapted from persistent arrays of J-C Filliatre 2013-03-26 17:23:19 +01:00