projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 12 Dec 2011 23:13:43 +0000 (23:13 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 12 Dec 2011 23:13:43 +0000 (23:13 +0000) | ||
| commit | f4ebfe340aee37d1a2eb92706c1220b3294c8840 | |
| tree | f1bc7642fcf4b58c5ca5e61f3aa6a2c650233c8b | tree | snapshot |
| parent | 869417c848f0b4dac21ead718149ed36c2fa560f | commit | diff |
| matita/matita/lib/basics/bool.ma | diff | blob | history |