diff options
author | Helmut Grohne <helmut@subdivi.de> | 2018-01-02 05:01:56 +0100 |
---|---|---|
committer | Helmut Grohne <helmut@subdivi.de> | 2018-01-02 05:01:56 +0100 |
commit | 3ab245029ac43720a71dfd9c9a15e91f2312f069 (patch) | |
tree | a42db2817ef56f0d5afea769dc4de8425eff2f15 /LICENSE | |
parent | ab79a2e7b7c10306493cb6e61eb10f3b4e114cf3 (diff) | |
download | bidiragda-3ab245029ac43720a71dfd9c9a15e91f2312f069.tar.gz |
remove lemma-lookupM-insert in favour of lookup∘update
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions