Commit message (Expand) | Author | Age | |
---|---|---|---|
* | affichage declarations fix + bug extraction sumbool_rec mis a jour | filliatr | 2001-03-20 |
* | extraction naive de fix et case | filliatr | 2001-03-20 |
* | Extract_term_with_type. mise a jour & verification des commentaires | letouzey | 2001-03-20 |
* | entetes | filliatr | 2001-03-15 |
* | interface du extract_rec. Extract_constr prend un environnement | letouzey | 2001-03-14 |
* | Commentaires. Verification des assert false. Probleme des types ML arity. | letouzey | 2001-03-12 |
* | distinction contexte et signature | filliatr | 2001-03-07 |
* | debut extraction termes; pp lambda | filliatr | 2001-02-27 |
* | ajout Vprop, Tprop et Eprop | filliatr | 2001-02-26 |
* | extraction des types et des inductifs | filliatr | 2001-02-22 |