Fri, 26 Feb 2021 18:15:27 +0100 merged mapentries
Lukas Stevens [Fri, 26 Feb 2021 18:15:27 +0100] rev 74537
merged
Wed, 24 Feb 2021 12:01:20 +0000 Fix proof mapentries
Lukas Stevens <mail@lukas-stevens.de> [Wed, 24 Feb 2021 12:01:20 +0000] rev 74536
Fix proof
Wed, 24 Feb 2021 10:23:35 +0100 Small fixes mapentries
Lukas Stevens <mail@lukas-stevens.de> [Wed, 24 Feb 2021 10:23:35 +0100] rev 74535
Small fixes
Tue, 23 Feb 2021 11:33:12 +0100 Add AList_Mapping and small fixes mapentries
Lukas Stevens <mail@lukas-stevens.de> [Tue, 23 Feb 2021 11:33:12 +0100] rev 74534
Add AList_Mapping and small fixes
Mon, 22 Feb 2021 13:43:58 +0100 Move theorems to correct context mapentries
Lukas Stevens <mail@lukas-stevens.de> [Mon, 22 Feb 2021 13:43:58 +0100] rev 74533
Move theorems to correct context
Wed, 17 Feb 2021 11:37:02 +0000 Continue mapentries
Lukas Stevens <mail@lukas-stevens.de> [Wed, 17 Feb 2021 11:37:02 +0000] rev 74532
Continue
Tue, 16 Feb 2021 11:52:41 +0100 Finish adding entries to Map mapentries
Lukas Stevens <mail@lukas-stevens.de> [Tue, 16 Feb 2021 11:52:41 +0100] rev 74531
Finish adding entries to Map
Fri, 12 Feb 2021 17:44:49 +0000 Generalise folding and sorted_list_of_set mapentries
Lukas Stevens <mail@lukas-stevens.de> [Fri, 12 Feb 2021 17:44:49 +0000] rev 74530
Generalise folding and sorted_list_of_set
Fri, 12 Feb 2021 10:32:20 +0100 merged mapentries
Lukas Stevens <mail@lukas-stevens.de> [Fri, 12 Feb 2021 10:32:20 +0100] rev 74529
merged
Tue, 09 Feb 2021 10:26:15 +0100 merge order-prover
Lukas Stevens <mail@lukas-stevens.de> [Tue, 09 Feb 2021 10:26:15 +0100] rev 74528
merge
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip