Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
Fri, 27 Sep 2002 16:44:50 +0200 | paulson | Proof tidying | file | diff | annotate |
Fri, 27 Sep 2002 10:36:21 +0200 | paulson | Tidied. New Pi-theorem. | file | diff | annotate |
Thu, 26 Sep 2002 10:51:58 +0200 | paulson | new theory for Pi-sets, restrict, etc. | file | diff | annotate |