matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_procedural/procedural2.ml

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / software / components / acic_procedural / procedural2.ml

2009-06-23	Ferruccio Guidi	- procedural: basic support for lapply (solves a proble...	blob \| commitdiff \| raw
2009-06-10	Ferruccio Guidi	- library/list/list.ma: unused code commented	blob \| commitdiff \| raw \| diff to current
2009-06-05	Ferruccio Guidi	- Procedural convertible rewrites in the conclusion...	blob \| commitdiff \| raw \| diff to current
2009-06-04	Ferruccio Guidi	- doubleTypeInference: we check for unreferenced letins...	blob \| commitdiff \| raw \| diff to current
2009-05-28	Ferruccio Guidi	Procedural: higher-order unification needs a lot of...	blob \| commitdiff \| raw \| diff to current
2009-05-28	Ferruccio Guidi	- cicInspect: relevant nodes count updated: letin nodes...	blob \| commitdiff \| raw \| diff to current
2009-05-27	Ferruccio Guidi	Procedural: bugfix in the generation of intros for...	blob \| commitdiff \| raw \| diff to current
2009-05-27	Ferruccio Guidi	- Procedural: we specify more unifiers for apply to...	blob \| commitdiff \| raw \| diff to current
2009-05-21	Ferruccio Guidi	Procedural: we use the expected type rather than the...	blob \| commitdiff \| raw \| diff to current
2009-05-20	Ferruccio Guidi	we catch the refiner errors in the critical step and...	blob \| commitdiff \| raw \| diff to current
2009-05-15	Claudio Sacerdoti...	Patch to add a debugging string to HExtlib.split_nth...	blob \| commitdiff \| raw \| diff to current
2009-05-14	Ferruccio Guidi	- hExtlib: added debugging information for split_nth	blob \| commitdiff \| raw \| diff to current
2009-05-12	Ferruccio Guidi	- Procedural: we now reconstruct "let H := v in t"...	blob \| commitdiff \| raw \| diff to current
2009-05-06	Ferruccio Guidi	- cicUtil: is_sober now detects folded applications	blob \| commitdiff \| raw \| diff to current
2009-05-05	Ferruccio Guidi	- Procedural: new flag "level=n" to control the reconst...	blob \| commitdiff \| raw \| diff to current
2009-05-05	Ferruccio Guidi	- hExtlib: new function "list_assoc_all"	blob \| commitdiff \| raw \| diff to current
2009-04-29	Ferruccio Guidi	- procedural: bugfix in "Barendregt convention" test	blob \| commitdiff \| raw \| diff to current
2009-04-16	Ferruccio Guidi	Procedural: we corrected two errors about the handling...	blob \| commitdiff \| raw \| diff to current

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