]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6a8600) | patch
match
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 28 Nov 2012 15:10:33 +0000 (15:10 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 28 Nov 2012 15:10:33 +0000 (15:10 +0000)
commitc16905138e385d30856d587f07c396a3cab301ed
tree63fe441747ede1952e83a7d1ad16c2135c115c17tree | snapshot
parentb6a8600c3c4381809f1ab8d3e28628e17d9c3d3dcommit | diff
match
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.