]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13d4e55) | patch
metaAut: now we use hash tables properly (processing time: 2s)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 6 Dec 2008 14:42:09 +0000 (14:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 6 Dec 2008 14:42:09 +0000 (14:42 +0000)
commita3ebffd30c70d8c93a40d06eff578703a586f2b9
tree13dee11c409d4f3a54af6279a3f397e72c3a9ac1tree | snapshot
parent13d4e55242328a66818327bea40d72a964c5d756commit | diff
metaAut: now we use hash tables properly (processing time: 2s)
brgReduction: started
helm/software/lambda-delta/.depend.opt diff | blob | history
helm/software/lambda-delta/Makefile.common diff | blob | history
helm/software/lambda-delta/basic_rg/Make diff | blob | history
helm/software/lambda-delta/basic_rg/brgReduction.ml [new file with mode: 0644] blob
helm/software/lambda-delta/basic_rg/brgReduction.mli [new file with mode: 0644] blob
helm/software/lambda-delta/toplevel/metaAut.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.