]> matita.cs.unibo.it Git - helm.git/commit
....
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 5 Jun 2008 17:11:33 +0000 (17:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 5 Jun 2008 17:11:33 +0000 (17:11 +0000)
commit5f5fa5c779fcef187edf08703ae8f56653481bd1
tree08a7f550109d03cce2bd02930a5598ac4da46bc6
parent28bcf58da6b3726320b368ce4d1d8e2356b4df1b
....
helm/software/matita/contribs/dama/dama/property_sigma.ma [new file with mode: 0644]