]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9121e9f) | patch
Added repository for the shared library to be used by matitaweb.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 16 Jun 2011 13:53:23 +0000 (13:53 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 16 Jun 2011 13:53:23 +0000 (13:53 +0000)
commit8f08fac33a366b2267b35af1a50ad3a9df8dbb88
treefa41f8eb4608ac96385d0ef1817b3d68deb84085tree | snapshot
parent9121e9f2de9f4df3e909e30a127214bb0f01c019commit | diff
Added repository for the shared library to be used by matitaweb.
27 files changed:
weblib/arithmetics/bigops.ma [new file with mode: 0644] blob
weblib/arithmetics/binomial.ma [new file with mode: 0644] blob
weblib/arithmetics/chinese_reminder.ma [new file with mode: 0644] blob
weblib/arithmetics/congruence.ma [new file with mode: 0644] blob
weblib/arithmetics/div_and_mod.ma [new file with mode: 0644] blob
weblib/arithmetics/exp.ma [new file with mode: 0644] blob
weblib/arithmetics/factorial.ma [new file with mode: 0644] blob
weblib/arithmetics/gcd.ma [new file with mode: 0644] blob
weblib/arithmetics/log.ma [new file with mode: 0644] blob
weblib/arithmetics/minimization.ma [new file with mode: 0644] blob
weblib/arithmetics/nat.ma [new file with mode: 0644] blob
weblib/arithmetics/nth_prime.ma [new file with mode: 0644] blob
weblib/arithmetics/primes.ma [new file with mode: 0644] blob
weblib/arithmetics/sigma_pi.ma [new file with mode: 0644] blob
weblib/basics/bool.ma [new file with mode: 0644] blob
weblib/basics/core_notation.ma [new file with mode: 0644] blob
weblib/basics/jmeq.ma [new file with mode: 0644] blob
weblib/basics/list.ma [new file with mode: 0644] blob
weblib/basics/list2.ma [new file with mode: 0644] blob
weblib/basics/logic.ma [new file with mode: 0644] blob
weblib/basics/pts.ma [new file with mode: 0644] blob
weblib/basics/relations.ma [new file with mode: 0644] blob
weblib/basics/types.ma [new file with mode: 0644] blob
weblib/hints_declaration.ma [new file with mode: 0644] blob
weblib/lambda/subst.ma [new file with mode: 0644] blob
weblib/lambda/types.ma [new file with mode: 0644] blob
weblib/root [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.