]> matita.cs.unibo.it Git - helm.git/commit
- we add the missing layer constraint on applicability condition
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 16 Dec 2014 12:45:24 +0000 (12:45 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 16 Dec 2014 12:45:24 +0000 (12:45 +0000)
commit7c86bc0cda903d7cac66e2d4cb81bca345b4b5bc
treec8bc032624e25e887963003f067c50af4281e12c
parent2dc6df301ca3ebf444ec7f767921ee0e57ccd592
- we add the missing layer constraint on applicability condition
- trace levels refactoring
helm/software/helena/.depend.opt
helm/software/helena/src/basic_ag/bagReduction.ml
helm/software/helena/src/basic_ag/bagType.ml
helm/software/helena/src/basic_rg/brgReduction.ml
helm/software/helena/src/basic_rg/brgType.ml
helm/software/helena/src/basic_rg/brgValidity.ml
helm/software/helena/src/common/layer.ml
helm/software/helena/src/toplevel/top.ml