]> matita.cs.unibo.it Git - helm.git/commit
added architecture figure
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 May 2003 11:09:54 +0000 (11:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 May 2003 11:09:54 +0000 (11:09 +0000)
commit6081be08bbe0371c81e839f4319de1b599f7707c
treea4ffa4aa144a87b5df2cc85092f05fd65c79ca11
parentd4a37b656160537e6607935f1cbaef1ad043d5b0
added architecture figure
helm/papers/calculemus-2003/eps/arch.dia [new file with mode: 0644]
helm/papers/calculemus-2003/eps/arch.eps [new file with mode: 0644]