| Mon, 27 Oct 1997 15:57:50 +0100 | wenzelm | renamed put_* to store_*; | file | diff | annotate |
| Fri, 24 Oct 1997 18:02:23 +0200 | wenzelm | oops, swap warnings; | file | diff | annotate |
| Fri, 24 Oct 1997 17:11:23 +0200 | wenzelm | Init 'theorems' data. The Pure theories. | file | diff | annotate |