]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8100282) | patch
added missing *)
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 11:42:43 +0000 (11:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 2 Oct 2006 11:42:43 +0000 (11:42 +0000)
commit57f19c7a57a0422a5217a8021ea73d805bd5ba1e
tree07241e0ca8d3900b08ee6d57116bf9a473ca75c1tree | snapshot
parent8100282b272a35d42aa29a94d6d887e673a7298fcommit | diff
added missing *)
matita/tests/bool.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.