]>
2002-12-03 | Michele Galatà | Added new tactics: Exists, Split, Assumption, Absurd... |
commit | commitdiff | tree |
2002-10-31 | Michele Galatà | Added variousTactic with Constructor, Left, Right,... |
commit | commitdiff | tree |
2002-08-29 | Michele Galatà | Type expression simplified. |
commit | commitdiff | tree |
2002-08-29 | Michele Galatà | Comment typo fixed. |
commit | commitdiff | tree |