]> matita.cs.unibo.it Git - helm.git/commit
Some new lemmas.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Sep 2007 13:27:41 +0000 (13:27 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 17 Sep 2007 13:27:41 +0000 (13:27 +0000)
commit1a078f52f9d5bacfe84d74f52872e44a6150030d
tree5294390f0d464c47bc65e2fbd211f1a23169df68
parent695ed2e33a5396a5f3f6b21360dce9a6648cb7df
Some new lemmas.
helm/software/matita/library/datatypes/bool.ma