]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46e87ac) | patch
working on match
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 26 Nov 2012 12:50:32 +0000 (12:50 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 26 Nov 2012 12:50:32 +0000 (12:50 +0000)
commit05090b74e381e19a7867b12bb685cdb898c910c8
tree30e409405c64713902df90afda66cfbc5b3c364dtree | snapshot
parent46e87acb755894f9234191d675eeb5db4f5b930bcommit | diff
working on match
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
matita/matita/lib/turing/multi_universal/moves.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.