]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 981599d) | patch
notation for clear
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 3 May 2017 10:03:36 +0000 (10:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 3 May 2017 10:03:36 +0000 (10:03 +0000)
commit28e68c7754285da0a4af5901d7cc5ed7fea9b1d7
tree02f5092151abe31bb10461c90d9428422dab6392tree | snapshot
parent981599dd384b3424c60297ea3a64ab0af9788ea2commit | diff
notation for clear
matita/matita/contribs/lambdadelta/basic_2/notation/relations/clear_3.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.