| Sat, 03 Jul 1999 00:28:05 +0200 | wenzelm | proper text; | file | diff | annotate |
| Fri, 02 Jul 1999 15:04:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 01 Jul 1999 22:20:58 +0200 | wenzelm | fixed order_trans; | file | diff | annotate |
| Thu, 01 Jul 1999 21:30:18 +0200 | wenzelm | added KnasterTarski.thy; | file | diff | annotate |