]> matita.cs.unibo.it Git - helm.git/commit
eq_chain
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 3 May 2006 11:26:21 +0000 (11:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 3 May 2006 11:26:21 +0000 (11:26 +0000)
commit57f678d84d02772bfe36301d2f367c2382583f16
tree611b3a20d25a79a111ef632d4dc7908af7fa66d6
parent80a0de7252db131efb4d0058cb8bfdad8221d71f
eq_chain
components/content_pres/content2pres.ml