]>
2001-04-03 | Andrea Asperti | *** empty log message *** |
commit | commitdiff | tree |
2001-04-03 | Andrea Asperti | Complete management of inductive types. |
commit | commitdiff | tree |
2001-03-07 | Andrea Asperti | *** empty log message *** |
commit | commitdiff | tree |
2001-03-05 | Andrea Asperti | added eq_ind |
commit | commitdiff | tree |
2001-02-20 | Andrea Asperti | New stylesheets from content to html. |
commit | commitdiff | tree |
2001-02-07 | Andrea Asperti | New version of proof.xsl |
commit | commitdiff | tree |
2001-01-25 | Andrea Asperti | ex_ind treated similarly to exT_ind. |
commit | commitdiff | tree |
2001-01-25 | Andrea Asperti | ExT_ind implemented. |
commit | commitdiff | tree |
2001-01-23 | Andrea Asperti | - Bug due to overloading of csymbol letin fixed. |
commit | commitdiff | tree |