projects / helm.git / history
| 2007-11-12 | Ferruccio Guidi | - destruct tactic: automatic simplification in case... | tree | commitdiff |
| 2007-11-08 | Enrico Tassi | ported to the new destruct | tree | commitdiff |
| 2007-11-06 | Ferruccio Guidi | new implementation of the destruct tactic, | tree | commitdiff |
| 2007-10-28 | Claudio Sacerdoti... | Nil => nil, Cons => cons | tree | commitdiff |
| 2007-10-28 | Claudio Sacerdoti... | New syntax for match patterns. | tree | commitdiff |
| 2007-09-09 | Enrico Tassi | ... | tree | commitdiff |
| 2007-09-08 | Enrico Tassi | ... | tree | commitdiff |
| 2007-08-30 | Enrico Tassi | more stuff to reach an intensional definition of finite... | tree | commitdiff |
| 2007-05-24 | Enrico Tassi | auto and autogui... some work | tree | commitdiff |
| 2007-05-17 | Enrico Tassi | auto rewritten with only one tail recursive function. | tree | commitdiff |
| 2007-04-18 | Enrico Tassi | more discriminate | tree | commitdiff |
| 2007-04-16 | Enrico Tassi | better simplify | tree | commitdiff |
| 2007-04-16 | Enrico Tassi | closed all axioms | tree | commitdiff |
| 2007-04-10 | Enrico Tassi | ... | tree | commitdiff |