matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic_proof

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic_proof_checking/cicDischarge.ml

2009-05-15	Claudio Sacerdoti...	Patch to add a debugging string to HExtlib.split_nth...	blob \| commitdiff \| raw
2009-05-14	Ferruccio Guidi	- hExtlib: added debugging information for split_nth	blob \| commitdiff \| raw \| diff to current
2008-11-28	Ferruccio Guidi	cicDischarge: final fixup. Now correctly processes...	blob \| commitdiff \| raw
2008-11-28	Ferruccio Guidi	ng_disambiguation ng_kernel ng_refiner disambiguation...	blob \| commitdiff \| raw \| diff to current
2008-11-25	Ferruccio Guidi	cicUtil: we moved here pp_term from proceduralHelpers	blob \| commitdiff \| raw \| diff to current
2008-09-10	Ferruccio Guidi	cicDischarge, Procedural: we improved debugging and...	blob \| commitdiff \| raw \| diff to current
2008-09-07	Ferruccio Guidi	cicDischarge: we still have some problems here. Some...	blob \| commitdiff \| raw \| diff to current
2008-08-28	Ferruccio Guidi	cicDischarge: new module for discharging the explicit...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.