Sat, 04 Sep 2021 11:22:24 +0100 white space
paulson <lp15@cam.ac.uk> [Sat, 04 Sep 2021 11:22:24 +0100] rev 74560
white space
Mon, 06 Sep 2021 09:45:57 +0000 Fix COMP issues closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Mon, 06 Sep 2021 09:45:57 +0000] rev 74559
Fix COMP issues
Fri, 03 Sep 2021 17:54:12 +0200 merged;
Lukas Stevens <mail@lukas-stevens.de> [Fri, 03 Sep 2021 17:54:12 +0200] rev 74558
merged;
Tue, 24 Aug 2021 15:21:41 +0000 Continue with closure_solver closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Tue, 24 Aug 2021 15:21:41 +0000] rev 74557
Continue with closure_solver
Mon, 23 Aug 2021 13:43:02 +0200 Add new closure solver closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Mon, 23 Aug 2021 13:43:02 +0200] rev 74556
Add new closure solver
Fri, 03 Sep 2021 17:10:04 +0200 Create branch closure-solver closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Fri, 03 Sep 2021 17:10:04 +0200] rev 74555
Create branch closure-solver
Tue, 17 Aug 2021 17:09:20 +0200 merged;
Lukas Stevens <mail@lukas-stevens.de> [Tue, 17 Aug 2021 17:09:20 +0200] rev 74554
merged;
Wed, 07 Jul 2021 15:40:00 +0200 Add simp annotation
Lukas Stevens <mail@lukas-stevens.de> [Wed, 07 Jul 2021 15:40:00 +0200] rev 74553
Add simp annotation
Wed, 07 Jul 2021 10:56:13 +0200 merged;
Lukas Stevens <mail@lukas-stevens.de> [Wed, 07 Jul 2021 10:56:13 +0200] rev 74552
merged;
Tue, 06 Jul 2021 16:59:24 +0200 Fix name of lemma
Lukas Stevens <mail@lukas-stevens.de> [Tue, 06 Jul 2021 16:59:24 +0200] rev 74551
Fix name of lemma
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip