]> matita.cs.unibo.it Git - helm.git/commit
inclusion of div_and_mod
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 7 Jul 2007 11:34:18 +0000 (11:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 7 Jul 2007 11:34:18 +0000 (11:34 +0000)
commit3bd823a4d795ecd8929b55d4e4a698b411a97ab9
tree30aa135406c571c74d44f66169845e020b849094
parent111df95ac03f2ee21dfa2422a7f531f675b1c16d
inclusion of div_and_mod
helm/software/matita/library/assembly/assembly.ma