]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d390f7) | 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)
commitd225d82a5c81bf88cb465664a9f8d456f0300196
treefee88fc8cf011604e139d0f0a3895365d978a4b3tree | snapshot
parent0d390f73f1b6fc5f91bec89764c2abbf05fb520ecommit | diff
added missing *)
helm/software/matita/tests/bool.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.