]> matita.cs.unibo.it Git - helm.git/commit
CSC proof made by paramod
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 23 Oct 2009 13:45:01 +0000 (13:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 23 Oct 2009 13:45:01 +0000 (13:45 +0000)
commitb7555a8732a9a304ac45c4e8024f122e261506af
tree3470c61949579407956499f9ce274e8e019fa402
parenta57b60bb92d8587ced8ef5e9e47cdc4daafa40fc
CSC proof made by paramod
helm/software/matita/nlibrary/algebra/bool.ma [new file with mode: 0644]
helm/software/matita/nlibrary/depends
helm/software/matita/nlibrary/depends.dot
helm/software/matita/nlibrary/depends.png