more latex for inf rules

This commit is contained in:
Francesco Mecca 2020-04-06 16:20:01 +02:00
parent 6b528d921e
commit 8946d41fb4

Binary file not shown.