]> matita.cs.unibo.it Git - fireball-separation.git/commit
Added strong calculus for separation, plus some ac's notes
authoracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 14:01:51 +0000 (16:01 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 14:01:51 +0000 (16:01 +0200)
commit60a31aaf1d97ffa43a0f99abb32fe47fb0af4113
tree244bdd852cc7bcbfaa955c7cd986fd4f42679bd9
parent34c8f76c4a20829714be87a100ace82e696aa271
Added strong calculus for separation, plus some ac's notes
ac_notes.tex [new file with mode: 0644]
ideas.tex [deleted file]
macros.tex