true/2IMF25-AR - Automated Reasoning

index : true/2IMF25-AR

Automated Reasoning

summary refs log tree commit diff

path: root/logic/logic_a.in.aux

Age	Commit message (Expand)	Author	Files	Lines
2017-01-15	part 3 done	Koen van der Heijden	1	-0/+28

generated by cgit v1.2.1 (git 2.18.0) at 2024-04-30 05:22:02 +0000