]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28e68c7) | patch
more notation for s-steps
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 3 May 2017 10:12:43 +0000 (10:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 3 May 2017 10:12:43 +0000 (10:12 +0000)
commitc4ee4f93850d64a1ad583c0fa00a4c38d2c43a88
treee13cbaf7501f84d9f3137c38189a539b3bff1857tree | snapshot
parent28e68c7754285da0a4af5901d7cc5ed7fea9b1d7commit | diff
more notation for s-steps
matita/matita/contribs/lambdadelta/basic_2/notation/relations/supterm_7.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermopt_7.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermplus_7.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermstar_7.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.