]> matita.cs.unibo.it Git - helm.git/commit
new q_function representation
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 15 Jul 2008 09:18:23 +0000 (09:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 15 Jul 2008 09:18:23 +0000 (09:18 +0000)
commit8d367045e504f594c280d2c87f906695ef9671ee
treec4b02e177e0938b58445095e1735353dcedf1e8b
parentfa3ef782b1336310a78868e7dfc900fa988ee2ab
new q_function representation
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/depends.png
helm/software/matita/contribs/dama/dama/models/list_support.ma
helm/software/matita/contribs/dama/dama/models/q_bars.ma
helm/software/matita/contribs/dama/dama/models/q_function.ma
helm/software/matita/contribs/dama/dama/models/q_shift.ma
helm/software/matita/contribs/dama/dama/models/q_value_skip.ma