7 Commits

Author	SHA1	Message	Date
Josia Pietsch	296c7b2f55	yaref	2023-07-28 03:45:37 +02:00
Josia Pietsch	fae60388ab	boundedness	2023-07-18 22:33:10 +02:00
Josia Pietsch	6972a481bb	small changes	2023-07-12 15:27:39 +02:00
Josia Pietsch	80664eba78	some small changes	2023-07-11 23:38:47 +02:00
Josia Pietsch	e6d50be72e	some small changes	2023-07-10 23:56:21 +02:00
Josia Pietsch	872cb3b0bb	some small changes	2023-07-07 17:42:38 +02:00
Josia Pietsch	84a65bcfd9	renamed files	2023-07-06 00:42:06 +02:00