]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c51d5f3) | patch
Almost there
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 28 Jan 2014 12:34:47 +0000 (12:34 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 28 Jan 2014 12:34:47 +0000 (12:34 +0000)
commit946abd88fa24966751555193b0fe0d52e50722f2
tree7287df3f75e57debd2dbbdfadcfc0a0d430114a2tree | snapshot
parentc51d5f38fa0210a0fb16187f4f39f8de4d296f28commit | diff
Almost there
matita/matita/lib/reverse_complexity/speed_clean.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.