Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | file | diff | annotate |
Mon, 08 Mar 2004 11:11:58 +0100 | paulson | new theory of infinite sets | file | diff | annotate |