]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb6fee8) | patch
first commit for Helena 0.8.2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 3 Dec 2010 16:14:02 +0000 (16:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 3 Dec 2010 16:14:02 +0000 (16:14 +0000)
commit651d745df2454a9e232aff3c9d8bf3e77653936d
tree1c68755eb6ba8d1ef184940150f7e3720ba3f86ctree | snapshot
parentfb6fee82bb9172e15b1a7bc7e20641627f593fcccommit | diff
first commit for Helena 0.8.2
autCrg: we removed the computation of the de Bruijn degree
output: we renamed some reductions to reflect the latest terminology
brgSubstitution: icm related bugfix
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/src/automath/autCrg.ml diff | blob | history
helm/software/lambda-delta/src/basic_rg/brgReduction.ml diff | blob | history
helm/software/lambda-delta/src/basic_rg/brgSubstitution.ml diff | blob | history
helm/software/lambda-delta/src/common/output.ml diff | blob | history
helm/software/lambda-delta/src/common/output.mli diff | blob | history
helm/software/lambda-delta/src/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.