]> matita.cs.unibo.it Git - helm.git/commit
more files missing :((
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 May 2016 19:05:12 +0000 (19:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 24 May 2016 19:05:12 +0000 (19:05 +0000)
commitc4c23fb49f67e69b3193fc8233339f6ca016a8e9
tree2845713b770e4570737c2229b72d7ed2b6c4ce55
parentbb4afe025454cc5a637eb48cef9d08cf25d1d0ea
more files missing :((
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_3.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_5.ma
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysn_5.ma [new file with mode: 0644]