]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66b7f75) | patch
logic.ma is now enriched using the correct syntax.
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 7 Sep 2011 12:48:18 +0000 (12:48 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 7 Sep 2011 12:48:18 +0000 (12:48 +0000)
commite0433942a61cfe8b43b68a81efa7d7d68abe3c5a
tree47507187365ec3b6cb61d5afbb6efbc30c6919c6tree | snapshot
parent66b7f75467ba81224d961beda0ad0e55664c68b6commit | diff
logic.ma is now enriched using the correct syntax.
weblib/basics/logic.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.