bin/isabelle
Wed, 04 Dec 1996 13:06:30 +0100 wenzelm improved 'not found' messages;
Mon, 02 Dec 1996 18:13:28 +0100 wenzelm isabelle: Basic Isabelle startup script.
less more (0) tip