]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce978e1) | patch
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)
commit64c3512c9af4f7120c23722f7cf21146ce3e3bae
treef3051d9e39db8926295270c2f06b410d82fc9159tree | snapshot
parentce978e117a5f95f584414bc3e55b1b138d168bebcommit | diff
Some new lemmas.
matita/library/datatypes/bool.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.