projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 5 Sep 2011 11:48:38 +0000 (11:48 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 5 Sep 2011 11:48:38 +0000 (11:48 +0000) | ||
| commit | 572f5e918cd2c81ed3844714d647ad1a30cc7547 | |
| tree | 778bfa10a34d65ce83ead5f423245100b07424ff | tree | snapshot |
| parent | e7993cbfabd54c9ced3b13a4d0ec418984ce5d1f | commit | diff |
| weblib/arithmetics/factorial.ma | diff | blob | history |