]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Wed, 13 May 2009 19:30:53 +0000 (19:30 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Wed, 13 May 2009 19:30:53 +0000 (19:30 +0000) | ||
commit | dc7fa75e39843dd9db19130fb352c274291befff | |
tree | 8a3830977ebd4d03528a4e2707176f3c857fc887 | tree | snapshot |
parent | 706fcc9a5598a85d3d63ad0c9dd4245c8e0233f6 | commit | diff |
helm/software/matita/library/datatypes/bool.ma | diff | blob | history |