]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8b4eb6) | patch
update in ground
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Oct 2021 21:37:42 +0000 (23:37 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 4 Oct 2021 21:37:42 +0000 (23:37 +0200)
commitd7a1ab434c222c2445f36b7a3b6234d1f57f9794
treeef2642f0827d2972ee3244281381316e2c0d566atree | snapshot
parentf8b4eb67c2437f7b5174d7dca46e102e0ac0d19dcommit | diff
update in ground

+ bug fixed in the notation of exp
+ minor bugs fixed
matita/matita/contribs/lambdadelta/ground/arith/nat_le.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/notation/functions/exp_3.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground/relocation/pr_tls_pushs_eq.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.