projects / helm.git / commit
| author | matitaweb <claudio.sacerdoticoen@unibo.it> | |
| Fri, 31 May 2013 09:36:04 +0000 (09:36 +0000) | ||
| committer | matitaweb <claudio.sacerdoticoen@unibo.it> | |
| Fri, 31 May 2013 09:36:04 +0000 (09:36 +0000) | ||
| commit | adfe97c3044e996cc691d760578ba6c91ce386bd | |
| tree | a7751fd025dbe8c6637dd1a2a4694cc0b411c90f | tree | snapshot |
| parent | 8c057e95fd8d88bcc74a2335482b16eedd0ee60c | commit | diff |
| weblib/arithmetics/minimization.ma | diff | blob | history | |
| weblib/arithmetics/pidgeon_hole.ma | diff | blob | history | |
| weblib/basics/append.ma | [deleted file] | blob | history |