]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bd72f9) | patch
match.ma completed
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Jan 2013 16:45:27 +0000 (16:45 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Jan 2013 16:45:27 +0000 (16:45 +0000)
commitc6b6ec4e6f3ed6826db2f6385c25519fb82c177d
treeef184bb29515a962acf534143f36728828025909tree | snapshot
parent0bd72f98888e4cb8c402cfb8f142a46739de3d74commit | diff
match.ma completed
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.