index.html
Thu, 10 Oct 1996 10:57:33 +0200 paulson New root file with more description, and merging LK and Modal to Sequents
Thu, 30 May 1996 13:29:52 +0200 nipkow Regrouped logo
Wed, 29 May 1996 13:53:39 +0200 nipkow Added logo
Wed, 24 Apr 1996 11:20:57 +0200 clasohm removed David's private version (i.e. restored version 1.1)
Tue, 23 Apr 1996 17:01:51 +0200 oheimb *** empty log message ***
Thu, 26 Oct 1995 13:44:24 +0100 clasohm renamed logics.html and 00-chart.html to index.html
less more (0) tip