]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34c69f5) | patch
limits: we set up a different foundation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 Sep 2015 18:49:03 +0000 (18:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 Sep 2015 18:49:03 +0000 (18:49 +0000)
commite5287c72c8b3ac246a23b17efe6cb2576b91d3c4
tree9ef11cb27a8086068508e19460ff43e8b4a21e50tree | snapshot
parent34c69f5b13b3aafd36d2e8a7e36a96e0748c7938commit | diff
limits: we set up a different foundation
lambdadelta: Makefile updated for new version of probe
matita/matita/contribs/lambdadelta/Makefile diff | blob | history
matita/matita/contribs/limits/Makefile [new file with mode: 0644] blob
matita/matita/contribs/limits/u0_class.ma [new file with mode: 0644] blob
matita/matita/contribs/limits/u0_predicates.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.