From 8946d41fb4244f9d728ef0b1b2d3f049442edc85 Mon Sep 17 00:00:00 2001
From: Francesco Mecca <me@francescomecca.eu>
Date: Mon, 6 Apr 2020 16:20:01 +0200
Subject: [PATCH] more latex for inf rules

---
 tesi/tesi.pdf | Bin 445438 -> 445438 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/tesi/tesi.pdf b/tesi/tesi.pdf
index cc26d50541b0ed2c59d2955ccf660b04dde5b811..732adf754719ab8f2635cbdfa45079b3c775fb60 100644
GIT binary patch
delta 121
zcmex2UHad2>4p}@7N!>F7M2#)Eo|2|v6~s18CsfHPQSZ}O$Nr<wwdjrh_i{Avy-!v
qi>tY%fq|)oqk)N|xuKDnqnV?Vg|n-Lk&B&z4Iw4lRZg(oVg>-`S0Z}=

delta 121
zcmex2UHad2>4p}@7N!>F7M2#)Eo|2|v6~th7#kUxPrti~O$Nr<wwdjrh_ktqsgtRT
qo13GBqp^#VnT3g=v8kb}tGR`xp`)dVi<zB*4Iw4lRZg(oVg>->>mq9a