repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Examples of IN and its textual descriptions
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateTue, 21 Feb 2006 10:38:39
dateTue, 21 Feb 2006 10:38:39
hash20060221103839-970b1-87b5c0a90c926f3b1b0b2e58bfa7c89c385245b2
9 file(s) changed:
examples [added dir] diff | history | annotate
examples/LafontAritmetic.INblobs [added] diff | history | annotate
examples/LafontAritmetic.txt [added] diff | history | annotate
examples/SZ=Z.INblobs [added] diff | history | annotate
examples/add from Calculus for interacction nets.INblobs [added] diff | history | annotate
examples/add from Calculus for interacction nets.txt [added] diff | history | annotate
examples/addS=Sadd2.INblobs [added] diff | history | annotate
examples/empty.INblobs [added] diff | history | annotate
index.html +1 -1 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie