Fri, 14 May 2004 16:49:42 +0200 | paulson | new lemmas | file | diff | annotate |
Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
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 |