Elias Papanikitas 6fae30d245 fixed typo

2024-01-02 12:18:16 +01:00

..

main

fixed typo

2024-01-02 12:18:16 +01:00

main-info

added backwards arrow rule to reasoner

2023-12-22 10:46:37 +01:00

private-info

Remove conflicting rule

2023-04-21 16:33:54 +02:00