]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6386164) | patch
Removed inclusion of logic/equality.ma in datatypes/list.ma (not needed and
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 21 Jan 2011 13:30:33 +0000 (13:30 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 21 Jan 2011 13:30:33 +0000 (13:30 +0000)
commit7761bd5341f81e4b7d335c0b47bc1e2271f02227
tree931cc37706c275dc2df1ca275ca14aa0efe37fd5tree | snapshot
parent638616469ffdd7ba446ed0466e60ccf81a7b42cdcommit | diff
Removed inclusion of logic/equality.ma in datatypes/list.ma (not needed and
source of conflicts in other scripts).
helm/software/matita/nlibrary/datatypes/list.ma diff | blob | history
helm/software/matita/nlibrary/depends diff | blob | history
helm/software/matita/nlibrary/depends.dot diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.