projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 16 May 2012 20:33:41 +0000 (20:33 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 16 May 2012 20:33:41 +0000 (20:33 +0000) | ||
| commit | 1f946a70bc439ced80c695f0fd0c210df0d3b767 | |
| tree | 6987b75b29165a059947d6ce380a6d1e436a749b | tree | snapshot |
| parent | afd3d6608f2248b35812c0e826791ba09c873dc2 | commit | diff |
| matita/matita/lib/basics/finset.ma | diff | blob | history | |
| matita/matita/lib/basics/lists/listb.ma | diff | blob | history | |
| matita/matita/lib/re/moves.ma | diff | blob | history |