list lookup lemmas: cons, singleton (!264) · Merge requests · Iris / stdpp

Merged Ralf Jung requested to merge ralf/list-lookup into master 3 years ago

Status	Pipeline	Stages
Passed 00:04:55 3 years ago	tweaks #47073 264 3bffafaa merge request	Stage: build	Download artifacts No artifacts found
Failed 00:04:28 3 years ago	list lookup lemmas: cons, singleton #47064 264 18ce1146 merge request	Stage: build	Download artifacts No artifacts found
0

list lookup lemmas: cons, singleton