]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6114cb2) | patch
Optimization. Check removed.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 21 Oct 2011 07:26:43 +0000 (07:26 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 21 Oct 2011 07:26:43 +0000 (07:26 +0000)
commit38bc223769400d37900d3e18d663eefebe5c1223
treef68c3aa4a4121552e175fb10fd5406e49bc00f1atree | snapshot
parent6114cb246d344e93b0dfeae4d273dc4422633ecbcommit | diff
Optimization. Check removed.
matita/matita/lib/arithmetics/primes.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.