]> matita.cs.unibo.it Git - helm.git/commit
- improved logging
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 14 Dec 2008 22:22:38 +0000 (22:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 14 Dec 2008 22:22:38 +0000 (22:22 +0000)
commit426005acf6fb05116de5bae20591eefe55a4df00
tree1cac8480daad3fa6c98e5d71ec32d325f59a6506
parent338e3e5c639fbcfeeb347a0121cacc6c0f1fc42a
- improved logging
- optimization in subst
helm/software/lambda-delta/basic_ag/bag.ml
helm/software/lambda-delta/basic_ag/bagOutput.ml
helm/software/lambda-delta/basic_ag/bagReduction.ml
helm/software/lambda-delta/basic_ag/bagSubstitution.ml
helm/software/lambda-delta/basic_ag/bagType.ml
helm/software/lambda-delta/lib/log.ml
helm/software/lambda-delta/lib/log.mli
helm/software/lambda-delta/toplevel/top.ml