Add some list lemmas (!441) · Merge requests · Iris / stdpp

An error occurred while fetching the assigned milestone of the selected merge_request.

Merged Ralf Jung requested to merge ralf/list into master 2 years ago

Status	Pipeline	Stages
Passed 00:05:01 2 years ago	matching lookup lemmas for prefix and suffix #79579 441 1705703f	Stage: build	Download artifacts No artifacts found
Failed 00:01:58 2 years ago	matching lookup lemmas for prefix and suffix #79577 441 5424faca	Stage: build	Download artifacts No artifacts found
0
Passed 00:04:45 2 years ago	matching lookup lemmas for prefix and suffix #79576 441 248cc932	Stage: build	Download artifacts No artifacts found
Canceled 00:04:01 2 years ago	matching lookup lemmas for prefix and suffix #79575 441 f125e2b4	Stage: build	Download artifacts No artifacts found
Passed 00:04:59 2 years ago	naming #79536 441 2121847d	Stage: build	Download artifacts No artifacts found
Passed 00:04:37 2 years ago	make head_replicate_Some a biimplication; list_prefix_eq moved to another MR #79397 441 00a8fb07	Stage: build	Download artifacts No artifacts found
Failed 00:02:26 2 years ago	make head_replicate_Some a biimplication; list_prefix_eq moved to another MR #79396 441 909b0681	Stage: build	Download artifacts No artifacts found
0
Failed 00:02:31 2 years ago	simplifications and formatting #79395 441 04e3ae30	Stage: build	Download artifacts No artifacts found
0
Passed 00:04:08 2 years ago	more list subseteq lemmas (some of them from Perennial) #76348 441 ef734bd6	Stage: build	Download artifacts No artifacts found
Passed 00:07:48 2 years ago	port some list lemmas from Perennial #76347 441 c033e7df	Stage: build	Download artifacts No artifacts found

Add some list lemmas