]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 17 Sep 2007 13:27:41 +0000 (13:27 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 17 Sep 2007 13:27:41 +0000 (13:27 +0000) | ||
commit | 1a078f52f9d5bacfe84d74f52872e44a6150030d | |
tree | 5294390f0d464c47bc65e2fbd211f1a23169df68 | tree | snapshot |
parent | 695ed2e33a5396a5f3f6b21360dce9a6648cb7df | commit | diff |
helm/software/matita/library/datatypes/bool.ma | diff | blob | history |