]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 559a4d0) | patch
Some files ported to intermediate syntax to test.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 26 Oct 2010 13:09:00 +0000 (13:09 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 26 Oct 2010 13:09:00 +0000 (13:09 +0000)
commit83d2e9c93f39464715e10fab6ebdb4be97c37b08
treeb14761194590314a1479bff262e566d074759af3tree | snapshot
parent559a4d0ba0e52c99822ac636b1d635611ed9b5b8commit | diff
Some files ported to intermediate syntax to test.
matita/matita/nlibrary/logic/connectives.ma diff | blob | history
matita/matita/nlibrary/logic/equality.ma diff | blob | history
matita/matita/nlibrary/properties/relations.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.