]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90f66e9) | patch
toolkit.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 17 Sep 2014 12:34:38 +0000 (12:34 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 17 Sep 2014 12:34:38 +0000 (12:34 +0000)
commit12041ebfcdff887261c0750e0d1aa0a15441bbc4
treeefe5d594a0b83a53033822711338c4949753c5e3tree | snapshot
parent90f66e9412865f99e8fda2fd121456772b3e5b98commit | diff
toolkit.ma
matita/matita/lib/reverse_complexity/toolkit.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.