3 commits

Author	SHA1	Message	Date
Dominik Pantůček	4333f566ba	Really fix set algebra subtraction.	2023-07-12 18:54:03 +02:00
Dominik Pantůček	9981eead1b	Fix set algebra.	2023-07-12 18:48:12 +02:00
Dominik Pantůček	684cc7d7f8	Compile new lset.	2023-07-07 12:50:14 +02:00