]> matita.cs.unibo.it Git - helm.git/commit
brg: change in the representation of binders
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 5 Nov 2009 15:42:01 +0000 (15:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 5 Nov 2009 15:42:01 +0000 (15:42 +0000)
commita22628e5de37d3ffe9de056d7683f2ebdf7226fb
treec03855df9405a2f6671edacb08d2a8acf5d5cbfb
parentc717e9d642a19ed5f0b9ac4e3c206942ee0b44cc
brg: change in the representation of binders
     local environment pretty printing disabled (needs a fix)
helm/software/lambda-delta/Makefile
helm/software/lambda-delta/basic_rg/brg.ml
helm/software/lambda-delta/basic_rg/brgOutput.ml
helm/software/lambda-delta/basic_rg/brgReduction.ml
helm/software/lambda-delta/basic_rg/brgReduction.mli
helm/software/lambda-delta/basic_rg/brgSubstitution.ml
helm/software/lambda-delta/basic_rg/brgType.ml
helm/software/lambda-delta/complete_rg/crgBrg.ml
helm/software/lambda-delta/toplevel/metaBrg.ml