]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_procedural
parameter sintax added to axiom statement
[helm.git] / helm / software / components / acic_procedural /
2007-03-16 Ferruccio Guidielim tactic: it needs two arguments, a term as well...
2007-03-13 Ferruccio Guidielim tactic: now takes a pattern instead of just a...
2007-03-11 Ferruccio Guidicase to elim conversion works fine
2007-03-09 Ferruccio GuidiProcedural: 2 bug fix in eta expansion + 1 bug fix...
2007-03-08 Ferruccio Guidisome improvements
2007-03-07 Ferruccio GuidiProcedural: bug fix
2007-03-07 Ferruccio GuidiRelational: one file was missing :-)
2007-03-07 Ferruccio GuidiProcedural : cic object preprocessor added
2007-03-02 Ferruccio GuidiProcedural: now patterns for rewrite are generated...
2007-03-01 Ferruccio GuidiProcedural: some improvements
2007-02-27 Ferruccio Guidisome improvements
2007-02-27 Ferruccio Guidi- Procedural: some improvements
2007-02-25 Ferruccio GuidiRELATIONAL: new undecomposable definition of NLE
2007-02-21 Ferruccio Guidiprocedural : some improvements.
2007-02-20 Ferruccio Guidiacic_procedural: changed module compilation order
2007-02-14 Ferruccio GuidiProcedural : some improvements
2007-02-09 Ferruccio Guidiadded option -dump to matitac for persistent macro...
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own