kleing [Tue, 18 Feb 2003 19:13:47 +0100] rev 13822
check maxs in defensive machine
paulson [Tue, 18 Feb 2003 15:09:14 +0100] rev 13821
new theory Transformers: Meier-Sanders non-interference theory
mehta [Mon, 17 Feb 2003 17:16:07 +0100] rev 13820
Proof of the Schorr-Waite graph marking algorithm.
paulson [Sun, 16 Feb 2003 12:17:40 +0100] rev 13819
minor revisions
paulson [Sun, 16 Feb 2003 12:16:07 +0100] rev 13818
new theorem Compl_partition2
ballarin [Fri, 14 Feb 2003 17:35:56 +0100] rev 13817
Product operator added --- preliminary.
kleing [Wed, 12 Feb 2003 17:55:05 +0100] rev 13816
favicon
nipkow [Tue, 11 Feb 2003 11:04:27 +0100] rev 13815
*** empty log message ***
nipkow [Mon, 10 Feb 2003 15:57:46 +0100] rev 13814
*** empty log message ***
ballarin [Mon, 10 Feb 2003 09:45:22 +0100] rev 13813
New development of algebra: Groups.