]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 455ac21) | patch
Added file with strong calculus and definition of distinction
authoracondolu <andrea.condoluci@unibo.it>
Tue, 5 Jun 2018 17:44:05 +0000 (19:44 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 5 Jun 2018 17:44:05 +0000 (19:44 +0200)
commit5ec655b7e016e184901a3cac3c5f25cebf8f2858
treebfe4888aed97f888979767cf35fd9e0163d072fatree | snapshot
parent455ac21aa68fe367865c41c1883ae594c0c04b78commit | diff
Added file with strong calculus and definition of distinction
notes.tex [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.