Commit message (Expand) | Author | Age | |
---|---|---|---|
* | tactic haRVey pour appeler haRVey (contrib/dp) | 2006-03-02 | |
* | appel de Zenon | 2006-03-01 | |
* | *** empty log message *** | 2006-02-28 | |
* | dp: sortie Why | 2006-02-27 | |
* | Dp: ajout d'abstraction aux applications de fonction non premier ordre | 2005-06-24 | |
* | dp: ajout des prédicats de sortes | 2005-06-24 | |
* | Dp : ajoût des existentiels | 2005-06-15 | |
* | dp: traitement des fixpoints | 2005-06-09 |