]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfd4887) | patch
enabling destruct defs
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 9 Feb 2011 14:33:40 +0000 (14:33 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 9 Feb 2011 14:33:40 +0000 (14:33 +0000)
commit95bb2b7593bf67b7a0758a63631a394af22dfae5
tree66a9beeb1e64f056623d00a06e2c5de04f9d80f3tree | snapshot
parentbfd488729e5f21cedaba0cccfa10fdb63da8a68fcommit | diff
enabling destruct defs
matita/matita/lib/basics/logic.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.