]> matita.cs.unibo.it Git - helm.git/commit
fixed many scripts that broke for various reasons
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 17 Oct 2010 09:13:26 +0000 (09:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 17 Oct 2010 09:13:26 +0000 (09:13 +0000)
commit65e8f1ba961ef81c5604168e7f1c891063c1ec76
treed6a2964a9602f94260b5c2e17fe64008ae8a2e54
parent2e6a92bad35a8f8883c498c6a2f36ea3208d4ddd
fixed many scripts that broke for various reasons
helm/software/matita/nlibrary/algebra/magmas.ma
helm/software/matita/nlibrary/arithmetics/R.ma
helm/software/matita/nlibrary/arithmetics/Z.ma
helm/software/matita/nlibrary/arithmetics/nat.ma
helm/software/matita/nlibrary/datatypes/list-theory.ma
helm/software/matita/nlibrary/logic/cologic.ma
helm/software/matita/nlibrary/sets/partitions.ma
helm/software/matita/nlibrary/topology/cantor.ma
helm/software/matita/nlibrary/topology/igft-setoid.ma
helm/software/matita/nlibrary/topology/igft3.ma
helm/software/matita/nlibrary/topology/igft4.ma