]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/transcript/.depend
Branched paramodulation for CNF (Horn clauses)
[helm.git] / helm / software / components / binaries / transcript / .depend
2009-07-17 denesBranched paramodulation for CNF (Horn clauses)
2009-07-13 Claudio Sacerdoti... Coercion hiding implemented. Notes:
2009-07-09 Enrico TassiNew functorialization: paramod is abstracted over a...
2009-06-15 Enrico Tassihuge commit regarding the grafite_status:
2009-06-06 Claudio Sacerdoti... Previous commit reverted, as explained in that log.
2009-06-06 Claudio Sacerdoti... This commit restores the ids_to_father_ids table.
2009-06-05 denesFirst tests for paramodulation (pretty printer, unifica...
2009-06-03 Claudio Sacerdoti... Huge commit with several changes:
2009-05-18 Enrico Tassiin the new kernel you can type Type[i] to mean Type_i...
2009-05-08 Claudio Sacerdoti... ...
2009-05-05 Ferruccio Guidi- hExtlib: new function "list_assoc_all"
2009-04-20 Enrico Tassi- init_cache_and_tables rewritten using the automation_...
2009-04-14 Ferruccio Guidiwe rebuilt the dependences
2009-04-14 Ferruccio Guidi- Procedural: generation of "exact" is now complete
2009-04-06 Claudio Sacerdoti... New tactic clear; new syntax # _; to introduce and...
2009-03-30 Enrico Tassitentative subst-sexpand and change
2009-03-25 Enrico Tassinew tactics are almost ready
2008-09-26 Enrico Tassiauto was compiraing lazy proof terms with = ... fixed
2008-09-04 Ferruccio Guiditranscript: improved debuugging facilities
2006-11-15 Ferruccio Guiditranscript: very alpha version.