]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 8 Oct 2007 13:02:33 +0000 (13:02 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 8 Oct 2007 13:02:33 +0000 (13:02 +0000) | ||
commit | c655b299e6e491e4ddd5476c276a300baf1775f3 | |
tree | 09dbc3ccd28df31251b447da7ca9e94bb0b83103 | tree | snapshot |
parent | 3c6725a5969f4321ba95bb01211b4c23cc8341dc | commit | diff |
matita/library/Q/Qaxioms.ma | [new file with mode: 0644] | blob |
matita/library/Q/q.ma | diff | blob | history |