summaryrefslogtreecommitdiff
path: root/tests/hol4/hashmap
ModeNameSize
-rw-r--r--Holmakefile153logplain
-rw-r--r--hashmap_FunsScript.sml17945logplain
-rw-r--r--hashmap_FunsTheory.sig19628logplain
-rw-r--r--hashmap_PropertiesScript.sml74012logplain
-rw-r--r--hashmap_PropertiesTheory.sig32967logplain
-rw-r--r--hashmap_TypesScript.sml487logplain
-rw-r--r--hashmap_TypesTheory.sig17861logplain