]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e06442) | patch
Minor changes to make the script more robust to strategy changes.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 7 Mar 2014 13:32:16 +0000 (13:32 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 7 Mar 2014 13:32:16 +0000 (13:32 +0000)
commit37905ef451d98f0c857d62876fdbe12f0ee8ccaf
tree67d21f8a96836013c4d091bb0c9f7f451a48e278tree | snapshot
parent2e06442aacce4c9c9ebbb5977fafebf8231cfc2acommit | diff
Minor changes to make the script more robust to strategy changes.
matita/matita/lib/arithmetics/binomial.ma diff | blob | history
matita/matita/lib/arithmetics/chebyshev/bertrand.ma diff | blob | history
matita/matita/lib/basics/finset.ma diff | blob | history
matita/matita/lib/hints_declaration.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.