]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8539d00) | patch
"bool.ma" is now always included before "logic.ma", in order to speed up
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 15 Sep 2005 17:39:01 +0000 (17:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 15 Sep 2005 17:39:01 +0000 (17:39 +0000)
commit39eee3ee34bd22321d7b80c2685395345a0957e0
tree4e36d0a636c65e95edb06b7006585ef97512dfa4tree | snapshot
parent8539d00ff2ed0ffd9b7a08ac8e62376e88987960commit | diff
"bool.ma" is now always included before "logic.ma", in order to speed up
parsing.
helm/matita/library/Z/compare.ma diff | blob | history
helm/matita/library/nat/compare.ma diff | blob | history
helm/matita/library/nat/minimization.ma diff | blob | history
helm/matita/library/nat/nat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.