]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/tactics/auto.mli
parameter sintax added to axiom statement
[helm.git] / helm / software / components / tactics / auto.mli
2010-03-31 Andrea AspertiTracing mechanism for auto. Interface changed to solve...
2009-04-28 Enrico Tassihuge commit in automation:
2009-04-16 Enrico TassiUniverse is used only locally to tactics/
2008-10-29 Andrea AspertiPropagation of changes in paramodulation.
2008-09-26 Enrico Tassilazy proof term to increase sharing and decrease memory...
2008-03-20 Enrico Tassichanged auto_tac params type and all derivate tactics...
2007-11-17 Enrico Tassimoved to pkg-ocaml-maint
2007-06-13 Enrico Tassimany changes:
2007-05-29 Enrico Tassiadded pruning option in autogui
2007-05-24 Enrico Tassiauto and autogui... some work
2007-05-18 lzingareadded alternative implementation for hMysql relying
2007-05-17 Enrico Tassiauto rewritten with only one tail recursive function.
2006-11-29 Andrea AspertiDemodulate_tac now depends on the universe
2006-11-23 Andrea AspertiModifications to auto due to the introduction of the...
2006-10-20 Andrea AspertiMajor changes to auto, documented on the helm mailing...
2006-10-09 Claudio Sacerdoti... 1. applyS now uses its ~params
2006-10-09 Claudio Sacerdoti... applyS now receives the same parameters that auto receives.
2006-09-29 Enrico Tassinew version of auto that is able to prove the irrationa...
2006-09-27 Enrico Tassiauto snapshot
2006-09-21 Enrico Tassiauto snapshot