]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72e835f) | patch
- ng_kernel: we print the offending term when guarded_by_constructors fails
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Mar 2016 19:10:29 +0000 (19:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 23 Mar 2016 19:10:29 +0000 (19:10 +0000)
commitebc170efe71cf4ee842acfbe58bb6864e76ba98c
tree634ce024769e41ca0a4e0dc2336459bfc308ae13tree | snapshot
parent72e835f5e6848c09faf6343fb7e276c88bfc1f2ecommit | diff
- ng_kernel: we print the offending term when guarded_by_constructors fails
- probe: we print the roots when more than one root is found
- lambdadelta: first working commit for the "relocation" component
19 files changed:
matita/components/binaries/probe/engine.ml diff | blob | history
matita/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc_new/drops/drops_length.etc diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/etc_new/frees/frees_length.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_length.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_length.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/fleq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/fleq_fleq.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/frees.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/frees_lreq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/frees_weight.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/freq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/freq_freq.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_fcla.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isfin.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.