This info file and the program Isamode are
Copyright (C) 1994-2000 David R. Aspinall and LFCS, Edinburgh.
Both are distributed under the terms of the GNU General Public License, which you should find with your copy of GNU Emacs.
The program Isabelle is Copyright (C) by the University of Cambridge.
Documentation dated: $Date: 2003/02/16 00:15:05 $
Go to the first, previous, next, last section, table of contents.