]> matita.cs.unibo.it Git - helm.git/commit
some interfaces improved
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 12 Nov 2009 19:15:43 +0000 (19:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 12 Nov 2009 19:15:43 +0000 (19:15 +0000)
commitea41b1f6e212334924a8de4b2ff53b2586de9c4b
treebc79fdde3ed2242106ddb4e3cee09716a63babc0
parent01304bffd3ee2a66216214a9e1a8ee7fdfdf16e3
some interfaces improved
helm/software/lambda-delta/basic_ag/bagType.ml
helm/software/lambda-delta/basic_rg/brgReduction.ml
helm/software/lambda-delta/basic_rg/brgSubstitution.ml
helm/software/lambda-delta/basic_rg/brgType.ml
helm/software/lambda-delta/common/hierarchy.ml
helm/software/lambda-delta/common/hierarchy.mli
helm/software/lambda-delta/common/library.ml
helm/software/lambda-delta/common/output.ml
helm/software/lambda-delta/common/output.mli
helm/software/lambda-delta/toplevel/top.ml