]> matita.cs.unibo.it Git - helm.git/commit
(no commit message)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 May 2012 15:14:44 +0000 (15:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 May 2012 15:14:44 +0000 (15:14 +0000)
commitfe7d9f4665e92d9c6934988b2b215547ab7ecf3f
tree54aa91186d5a3fc59af62c64da9787d840d75498
parent08a53e81b883cc19ddec52a662e9c171656ec364
matita/matita/lib/basics/bool.ma
matita/matita/lib/basics/sets.ma
matita/matita/lib/re/lang.ma
matita/matita/lib/re/moves.ma
matita/matita/lib/re/re.ma
matita/matita/lib/re/reb.ma