projects / helm.git / search
| 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 |