]> matita.cs.unibo.it Git - helm.git/commit
- proper KAM with closures implemented for the brg kernel
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 16 Aug 2009 14:37:47 +0000 (14:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 16 Aug 2009 14:37:47 +0000 (14:37 +0000)
commitf983656c56d37a50536e50a319114dbfa592c9a0
tree43c1afff9ceccf9bc2838cf1b20f3f65ff5c9d76
parentc8011c7ad75be5d03c4d4bb2e6900af32ad65c07
- proper KAM with closures implemented for the brg kernel
helm/software/lambda-delta/.depend.opt
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/brgType.ml
helm/software/lambda-delta/basic_rg/brgType.mli
helm/software/lambda-delta/basic_rg/brgUntrusted.ml
helm/software/lambda-delta/lib/log.ml
helm/software/lambda-delta/lib/log.mli
helm/software/lambda-delta/toplevel/metaBrg.ml