index.html
1996-10-10 paulson 1996-10-10 New root file with more description, and merging LK and Modal to Sequents
1996-05-30 nipkow 1996-05-30 Regrouped logo
1996-05-29 nipkow 1996-05-29 Added logo
1996-04-24 clasohm 1996-04-24 removed David's private version (i.e. restored version 1.1)
1996-04-23 oheimb 1996-04-23 *** empty log message ***
1995-10-26 clasohm 1995-10-26 renamed logics.html and 00-chart.html to index.html