]> matita.cs.unibo.it Git - helm.git/commit
many sed to use notation for rewriting
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:37:11 +0000 (15:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:37:11 +0000 (15:37 +0000)
commit46fb7c601185d7aada2489700e7d7817d50e1e57
tree967d894fd75acacb64611d548b72db38736b7391
parent7b7695bad7e3e2fb5867860f20845edcbc0f77fe
many sed to use notation for rewriting
helm/software/matita/dama/depends
helm/software/matita/dama/divisible_group.ma
helm/software/matita/dama/excess.ma
helm/software/matita/dama/group.ma
helm/software/matita/dama/ordered_divisible_group.ma
helm/software/matita/dama/ordered_group.ma