]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15a2da1) | patch
update in static_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Aug 2022 16:18:57 +0000 (18:18 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Aug 2022 16:18:57 +0000 (18:18 +0200)
commit6183fdeb092e83ddb5d0da61f8da87a9bcde8569
tree17c7d8f07200efd06c1284272ed1eb333303e486tree | snapshot
parent15a2da1b45b2fd34ac67dcb58fc4b94330d18a93commit | diff
update in static_2

+ notation update from ground
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.