]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3045f9) | patch
finished semantics for termination of match machine
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 24 Jan 2013 15:47:47 +0000 (15:47 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 24 Jan 2013 15:47:47 +0000 (15:47 +0000)
commit95ea23408caad83226b7a9206f3e020accf3f9ce
tree1e66cc34331d294819122c8fe8cf58cfd158034ftree | snapshot
parente3045f9fbe1253be4334720ded54afdb26a3049fcommit | diff
finished semantics for termination of match machine
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.