]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a28ced) | patch
Some notation moved to core_notation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 23 Aug 2008 19:12:21 +0000 (19:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 23 Aug 2008 19:12:21 +0000 (19:12 +0000)
commit42c44d828983e4ea2d115eba20a8020b62108384
tree78b844a30cfaf006c015b21e37f2c80b15b7b796tree | snapshot
parent1a28cedd1ef1a9ef608dce25b058c6e2e82c34c3commit | diff
Some notation moved to core_notation.
A few new things in datatypes/subsets and related stuff.
helm/software/matita/core_notation.moo diff | blob | history
helm/software/matita/library/datatypes/subsets.ma diff | blob | history
helm/software/matita/library/logic/coimplication.ma diff | blob | history
helm/software/matita/library/logic/cprop_connectives.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.