]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d492df) | patch
- brgOutput: the nodes count is now implemented
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 10 Jul 2009 21:36:41 +0000 (21:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 10 Jul 2009 21:36:41 +0000 (21:36 +0000)
commit9f8544610ba0245bde47f367de6716e1f256ab18
tree8b2ce901ef5b0fa7747643e30e8f61fc840a8958tree | snapshot
parent5d492df3e2715395a554f64dc3f040e13f892974commit | diff
- brgOutput: the nodes count is now implemented
- brgReduction: the type annotation in the beta-reductum is useless
- brgType: a never-occurring condition marked with assert false
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/basic_rg/brgOutput.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgReduction.ml diff | blob | history
helm/software/lambda-delta/basic_rg/brgType.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.