]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b31ab31) | patch
match almost finished
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 11 Jan 2013 23:28:57 +0000 (23:28 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 11 Jan 2013 23:28:57 +0000 (23:28 +0000)
commit30f12b94fb7f9f201fb092a1b25a1c7e2f9b4564
treeb87a78ad19e3285cc696abcb4a42116fa5cd121dtree | snapshot
parentb31ab31a99065295b91003a0df95dec817cee5decommit | diff
match almost finished
matita/matita/lib/turing/multi_universal/compare.ma diff | blob | history
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.