Sun, 23 Jul 2000 12:01:05 +0200 |
classical atts now intro! / intro / intro?;
|
file | diff | annotate |
Mon, 17 Jul 2000 18:17:54 +0200 |
tuded presentation;
|
file | diff | annotate |
Mon, 17 Jul 2000 13:58:18 +0200 |
- xsymbols for
|
file | diff | annotate |
Sun, 04 Jun 2000 19:39:29 +0200 |
removed explicit terminator (";");
|
file | diff | annotate |
Thu, 01 Jun 2000 11:22:27 +0200 |
Updated files to remove 0r and 1r from theorems in descendant theories
|
file | diff | annotate |
Thu, 13 Apr 2000 15:01:50 +0200 |
Times -> <*>
|
file | diff | annotate |
Mon, 07 Feb 2000 18:38:51 +0100 |
intro/elim/dest attributes: changed ! / !! flags to ? / ??;
|
file | diff | annotate |
Fri, 29 Oct 1999 20:18:34 +0200 |
final update by Gertrud Bauer;
|
file | diff | annotate |
Mon, 25 Oct 1999 19:24:43 +0200 |
update by Gertrud Bauer;
|
file | diff | annotate |
Fri, 22 Oct 1999 20:14:31 +0200 |
HahnBanach update by Gertrud Bauer;
|
file | diff | annotate |